[TYPES/announce] The Coq Workshop 2022: Call for Presentation Proposals

Talia Ringer tringer at cs.washington.edu
Thu Mar 10 16:32:43 EST 2022

We are pleased to invite you to submit presentation proposals for the Coq
Workshop 2022, which will be held in Haifa, Israel on August 12, 2022, as
part of FLoC 2022 <https://urldefense.com/v3/__https://floc2022.org/__;!!IBzWLUs!B4exigL_6u4qZbN5WIqJm5Sv4GlHDUb6fmLti_WTseFUNYP8h3ILuy0HUOIfYdPRx-ic6sVAQxXmcg$ >.

The Coq Workshop 2022 is affiliated with ITP 2022
<https://urldefense.com/v3/__https://itpconference.github.io/ITP22/__;!!IBzWLUs!B4exigL_6u4qZbN5WIqJm5Sv4GlHDUb6fmLti_WTseFUNYP8h3ILuy0HUOIfYdPRx-ic6sVqkoXezg$ >, and is the 13th installment of
the Coq Workshop series <https://urldefense.com/v3/__https://coq-workshop.gitlab.io/__;!!IBzWLUs!B4exigL_6u4qZbN5WIqJm5Sv4GlHDUb6fmLti_WTseFUNYP8h3ILuy0HUOIfYdPRx-ic6sW3h5ivhQ$ >. The workshop
brings together users, contributors, and developers of the Coq proof
assistant <https://urldefense.com/v3/__https://coq.inria.fr/__;!!IBzWLUs!B4exigL_6u4qZbN5WIqJm5Sv4GlHDUb6fmLti_WTseFUNYP8h3ILuy0HUOIfYdPRx-ic6sVOJOKqDA$ >.

The Coq Workshop focuses on strengthening the Coq community
<https://urldefense.com/v3/__https://coq.inria.fr/community__;!!IBzWLUs!B4exigL_6u4qZbN5WIqJm5Sv4GlHDUb6fmLti_WTseFUNYP8h3ILuy0HUOIfYdPRx-ic6sWmgXIe4Q$ > and providing a forum for discussing
practical issues, including the future of the Coq software and its
associated ecosystem of libraries and tools. Thus, rather than serving as a
venue for traditional research papers, the workshop is organized around
informal presentations and discussions, supplemented with invited talks.

*Important dates:*

   - May 10, 2022 (AoE): Deadline for submission of presentation proposals
   - June 10, 2022: Notification to authors
   - August 12, 2022: Workshop

*Submission instructions:*

Authors should submit presentation proposals as extended abstracts through
EasyChair <https://urldefense.com/v3/__https://easychair.org/conferences/?conf=coq2022__;!!IBzWLUs!B4exigL_6u4qZbN5WIqJm5Sv4GlHDUb6fmLti_WTseFUNYP8h3ILuy0HUOIfYdPRx-ic6sUlO2Rakw$ >.

Relevant subject matter includes but is not limited to:

   - Language or tactic features for Coq
   - Theory and implementation of the Calculus of Inductive Constructions
   - Applications of Coq and experience reports on Coq use in education and
   - Tools and platforms built on Coq
   - Plugins and libraries for Coq
   - Interfacing with Coq
   - Formalization tricks and Coq pearls

*Submission format:*

Presentation proposals should be no more than 2 pages in length including
bibliographic references, and should use the EasyChair style
<https://urldefense.com/v3/__https://easychair.org/publications/easychair.zip__;!!IBzWLUs!B4exigL_6u4qZbN5WIqJm5Sv4GlHDUb6fmLti_WTseFUNYP8h3ILuy0HUOIfYdPRx-ic6sU84TEUHg$ > with the fullpage package.
All submissions must be in PDF format.

*Program committee:*

   - Łukasz Czajka (Technical University of Dortmund)
   - Emily First (University of Massachusetts Amherst)
   - Kesha Hietala (University of Maryland)
   - Shachar Itzhaky (Technion)
   - Xavier Leroy (Collège de France and Inria)
   - Érik Martin-Dorel (IRIT)
   - Anders Mörtberg (Stockholm University)
   - Karl Palmskog (KTH Royal Institute of Technology) [chair]
   - Clément Pit-Claudel (Amazon AWS)
   - Vincent Rahli (University of Birmingham)
   - Talia Ringer (University of Illinois at Urbana-Champaign) [chair]

*Organizers and contact:*

Karl Palmskog and Talia Ringer (coq2022 at easychair.org)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220310/02f9ff8e/attachment-0001.htm>

More information about the Types-announce mailing list