Interactive Theorem Proving 2021
The Coq Workshop 2021 is the 12th iteration 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 organized around informal presentations and discussions, supplemented with invited talks.
Due to the ongoing COVID-19 pandemic and the transition of ITP, the conference to which the workshop is affiliated, to an online event, the Coq Workshop 2021 will also be held as an online event.
Invited talk: Vincent Laporte (TBA)
Due to the volatility of the situation, all dates are tentative for now.
Authors should submit extended abstracts through EasyChair.
Relevant subject matter includes but is not limited to:
Talk proposals should be no more than 2 pages in length including bibliographic references using the EasyChair style with the fullpage package. All submissions must be in PDF format.
Christian Dozkal and Jean-Marie Madiot (firstname.lastname@example.org)