<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><div><div>IMPORTANT: We are extending the deadline for submission to the</div><div>Coq workshop to May 30th, AoE (Anywhere on Earth).</div><div><br></div><div>We are pleased to invite you to submit presentation proposals for the<br>Coq Workshop 2023, which will be held in Białystok, Poland on <span class="Object" role="link" id="OBJ_PREFIX_DWT2493_com_zimbra_date"><span class="Object" role="link" id="OBJ_PREFIX_DWT2499_com_zimbra_date">July 31</span></span>,<br>2023, as a satellite to the ITP conference.<br><br><span class="Object" role="link" id="OBJ_PREFIX_DWT2494_com_zimbra_url"><span class="Object" role="link" id="OBJ_PREFIX_DWT2500_com_zimbra_url"><a target="_blank" href="https://urldefense.com/v3/__https://coq-workshop.gitlab.io/2023/__;!!IBzWLUs!WjQBQWluZJpzuT5ei-XE1fsJdhlTsrWI-SQo2VEYdYxTpLT9ug6gtCojMRgaC5UjEF9by7SUtBOPFLQ-S8yPJ4y7FD0deI-5Qbhg$" rel="noopener" data-mce-href="https://coq-workshop.gitlab.io/2023/">https://coq-workshop.gitlab.io/2023/</a></span></span><br><br><br>The Coq Workshop 2023 is the 14th installment of the Coq Workshop<br>series. The workshop brings together users, contributors, and<br>developers of the Coq proof assistant.<br><br>The Coq Workshop focuses on strengthening the Coq community and<br>providing a forum for discussing practical issues, including the<br>future of the Coq software and its associated ecosystem of libraries<br>and tools. Thus, rather than serving as a venue for traditional<br>research papers, the workshop is organized around informal<br>presentations and discussions, supplemented with invited talks.<br><br>Important dates:<br><br> <span class="Object" role="link" id="OBJ_PREFIX_DWT2495_com_zimbra_date"><span class="Object" role="link" id="OBJ_PREFIX_DWT2501_com_zimbra_date">May 30</span></span>, 2023 (AoE): Deadline for submission of presentation proposals<br> <span class="Object" role="link" id="OBJ_PREFIX_DWT2496_com_zimbra_date"><span class="Object" role="link" id="OBJ_PREFIX_DWT2502_com_zimbra_date">June 15</span></span>, 2023: Notification to authors<br> <span class="Object" role="link" id="OBJ_PREFIX_DWT2497_com_zimbra_date"><span class="Object" role="link" id="OBJ_PREFIX_DWT2503_com_zimbra_date">July 31</span></span>, 2023: Workshop<br><br>Submission instructions:<br><br>Authors should submit presentation proposals as extended abstracts<br>through EasyChair.<br><br>Relevant subject matter includes but is not limited to:<br><br> Language or tactic features for Coq<br> Theory and implementation of the Calculus of Inductive Constructions<br> Applications of Coq and experience reports on Coq use in education and<br> industry<br> Tools and platforms built on Coq<br> Plugins and libraries for Coq<br> Interfacing with Coq<br> Formalization tricks and Coq pearls<br><br>Submission format:<br><br>Presentation proposals should be no more than 2 pages in length<br>including bibliographic references, and should use the EasyChair style<br>with the fullpage package. All submissions must be in PDF format.<br><br>Program committee:<br><br> Nada Amin (Harvard)<br> Jesper Bengtson (IT-University of Copenhagen)<br> Yves Bertot (Inria) [chair]<br> Ana Borges (University of Barcelona)<br> Chantal Keller (LMF, Université Paris-Saclay)<br> Pierre Roux (ONERA, Toulouse)<br> Takafumi Saikawa (Nagoya University)<br> Enrico Tassi (Inria) [chair]<br><br>Organizers and contact:<br><br>Enrico Tassi and Yves Bertot (<span class="Object" role="link" id="OBJ_PREFIX_DWT2498_ZmEmailObjectHandler"><span class="Object" role="link" id="OBJ_PREFIX_DWT2504_ZmEmailObjectHandler">coq2023@easychair.org</span></span>)<br></div></div></div></body></html>