[TYPES/announce] Final Call for Proposals for the Coq Workshop 2022

[Talia Ringer]

Hi all, this is the *final call* for proposals for the Coq Workshop 2022.
Proposals are due on *May 10th*. We'd love your proposals. More below!

---

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!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLTcjfpwg$ >.

The Coq Workshop 2022 is affiliated with ITP 2022
<https://urldefense.com/v3/__https://itpconference.github.io/ITP22/__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LL7mbAjvo$ >, and is the 13th installment of
the Coq Workshop series <https://urldefense.com/v3/__https://coq-workshop.gitlab.io/__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLINQ8FYU$ >. The workshop
brings together users, contributors, and developers of the Coq proof
assistant <https://urldefense.com/v3/__https://coq.inria.fr/__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLt7Hdxbo$ >.

The Coq Workshop focuses on strengthening the Coq community
<https://urldefense.com/v3/__https://coq.inria.fr/community__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLaVqFwgE$ > 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!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLs__AXRQ$ >.

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
   industry
   - 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!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLFbkM-UM$ > 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/20220502/e795bd3a/attachment-0001.htm>