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:
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.
Authors should submit talk proposals through EasyChair.
Relevant subject matter includes but is not limited to: