[ 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 2024, which will be held in Tbilisi, Georgia on 13 September 2024, as
a satellite to the ITP conference.
The Coq Workshop 2024 is the 15th instalment of the Coq Workshop series. The
workshop brings together users, contributors, and developers of the Coq proof
assistant.
The Coq Workshop focuses on strengthening the Coq community 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 organised around
informal presentations and discussions, supplemented with invited talks.
Important dates
29 May 2024 (AoE): Submission deadline
3 July 2024: Author notification
Submission instructions
Submissions should take the form of a two-page PDF (excluding bibliography) and
must be performed on Easychair.
You have the freedom to produce the PDF by whatever means but keep in mind that
it should remain legible for the people of the PC and for attendees of the
conference so please avoid two pages of text with absolutely no margin.
We use a single-blind review process, meaning that reviewers have access to the
identity and affiliations of the authors. As such, the submitted PDF should
include name and affiliations in addition to the title and abstract.
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
• Formalisation tricks and Coq pearls
Workshop website:
https://urldefense.com/v3/__https://coq-workshop.gitlab.io/2024/__;!!IBzWLUs!W-09t-ZlnSu7zs6zWDA4BCPZsY1-IMbSLKEqx3RzPQInU5dbbxtXF1LMXUP8dbDE64UtmXR_fYiOxEj1OOWX6Wc9tYts9HqRs9aZ-R6d82g$
Submission link:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=coqws2024__;!!IBzWLUs!W-09t-ZlnSu7zs6zWDA4BCPZsY1-IMbSLKEqx3RzPQInU5dbbxtXF1LMXUP8dbDE64UtmXR_fYiOxEj1OOWX6Wc9tYts9HqRs9aZ7_3ghjA$
Program committee
• Benedikt Ahrens (TU Delft)
• Mireia González (Formal Vindications)
• Mirai Ikebuchi (Kyoto University)
• Assia Mahboubi (Inria Rennes)
• Clément Pit-Claudel (EPFL) [chair]
• Swarn Priya (Virginia Tech)
• Michael Sammler (ETH Zürich)
• Enrico Tassi (Inria Sophia)
• Théo Winterhalter (Inria Saclay) [chair]
• Irene Yoon (Inria Paris)
• Yannick Zakowski (Inria Lyon)
Organisers and contact
• Clément Pit-Claudel
• Théo Winterhalter
• [email protected]
