The Coq mailing list

[Clément Pit-Claudel <clement.pit-claudel AT epfl.ch>]

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/22/24 11:54, 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 Juy 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://coq-workshop.gitlab.io/2024/ 
> <https://coq-workshop.gitlab.io/2024/>
> 
> *Submission link:* https://easychair.org/conferences/?conf=coqws2024 
> <https://easychair.org/conferences/?conf=coqws2024>
> 
> 
>     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
>   * coqws2024 AT easychair.org <mailto:coqws2024 AT easychair.org>
>