[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
The deadline for the Coq Workshop 2024 is soon approaching! The current plan is
to hold the workshop as a hybrid in-person / online event: presenters who
cannot attend in person will be allowed to present remotely.
Looking forward to your submissions,
Théo and Clément.
On 4/29/24 08:53, Théo Winterhalter wrote:
> 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!Ust0EBT7j1vE03vshjDhiZPR5Ie0IUWavfwNFwYNY853o_8iqITRvGojWEqGXs5URR6IjdfP261xTn2PoN6NP_gzaZv5ZEdFpY0-UHK7rFg$
>
> Submission link:
> https://urldefense.com/v3/__https://easychair.org/conferences/?conf=coqws2024__;!!IBzWLUs!Ust0EBT7j1vE03vshjDhiZPR5Ie0IUWavfwNFwYNY853o_8iqITRvGojWEqGXs5URR6IjdfP261xTn2PoN6NP_gzaZv5ZEdFpY0-Ke4_004$
>
>
>
>
> 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]
