[ 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 (coq2...@easychair.org)