OCaml Workshop 2023 took place during ICFP 2023, in Seattle, Washington, United States.
Coq Workskop 2023 took place during ITP 2024, in Tbilisi, Georgia.
The Coq Workshop 2024 is the 15th instalment of the Coq Workshop series. The workshop brings together developers, contributors, and users 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.
07 Jun 2024
Abstract submission deadline
03 Jul 2024
Author notification
14 Sep 2024
Coq Workshop
No Presentation
No presentations yet.
Conference Details
Program Committee
•Benedikt Ahrens(TU Delft)
•Mireia González(Formal Vindications)
•Mirai Ikebuchi(Kyoto University)
•Assia Mahboubi(Inria Rennes)
•Clément Pit-Claudel(EPFL)
•Swarn Priya(Virginia Tech)
•Michael Sammler(ETH Zürich)
•Enrico Tassi(Inria Sophia)
•Théo Winterhalter(Inria Saclay)
•Irene Yoon(Inria Paris)
•Yannick Zakowski(Inria Lyon)