[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
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!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 ([email protected])
