The Coq Workshop 2020

Location: Campus Condorcet, Aubervilliers (Paris region) online

Dates: July 5-6, 2020

The Coq Workshop 2020 is part of IJCAR 2020 and the Paris Nord Summer of LoVe 2020.

The Coq workshop 2020 is the 11th Coq Workshop. The Coq Workshop series brings together Coq users, developers, and contributors. While conferences usually provide a venue for traditional research papers, 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, the workshop will be organized around informal presentations and discussions, supplemented with invited talks.

For the 35th birthday of the first release of Coq, this workshop will be spread over two days, which will give time for sessions on special themes:

COVID-19 notice

Due to the COVID-19 outbreak and containment measures in France and in most other countries, the FSCD-IJCAR conferences to which the Coq workshop is affiliated will be held as a virtual event, and so will the Coq workshop.

Since the COVID-19 crisis is affecting everyone's life and since attending a virtual event requires less planning ahead than attending a physical one, we have extended the submission deadline.

Important dates

April 13, 2020; April 27, 2020 May 1st, 2020 (AoE)
Deadline for abstract submission
April 29, 2020; May 20, 2020 May 25th, 2020
Notification to authors
July 5-6, 2020

Submission instructions

Authors should submit talk proposals through EasyChair.

Relevant subject matter includes but is not limited to:


Extended abstract:


Program committee

Organizers and co-chairs

Past editions

See here.