<div dir="ltr"><p style="margin-top:0px;font-family:Arial,sans-serif;font-size:15.008px">Hi all, this is the <b>final call</b> for proposals for the Coq Workshop 2022. Proposals are due on <b>May 10th</b>. We'd love your proposals. More below!</p><p style="margin-top:0px;font-family:Arial,sans-serif;font-size:15.008px">--- </p><p style="margin-top:0px;font-family:Arial,sans-serif;font-size:15.008px">We are pleased to invite you to submit presentation proposals for the Coq Workshop 2022, which will be held in Haifa, Israel on August 12, 2022, as part of <a href="https://urldefense.com/v3/__https://floc2022.org/__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLTcjfpwg$" rel="noopener nofollow ugc" target="_blank" style="background-color:transparent;text-decoration-line:none">FLoC 2022</a>.</p><p style="font-family:Arial,sans-serif;font-size:15.008px">The Coq Workshop 2022 is affiliated with <a href="https://urldefense.com/v3/__https://itpconference.github.io/ITP22/__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LL7mbAjvo$" rel="noopener nofollow ugc" target="_blank" style="background-color:transparent;text-decoration-line:none">ITP 2022</a>, and is the 13th installment of the <a href="https://urldefense.com/v3/__https://coq-workshop.gitlab.io/__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLINQ8FYU$" rel="noopener nofollow ugc" target="_blank" style="background-color:transparent;text-decoration-line:none">Coq Workshop series</a>. The workshop brings together users, contributors, and developers of the <a href="https://urldefense.com/v3/__https://coq.inria.fr/__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLt7Hdxbo$" rel="noopener nofollow ugc" target="_blank" style="background-color:transparent;text-decoration-line:none">Coq proof assistant</a>.</p><p style="font-family:Arial,sans-serif;font-size:15.008px">The Coq Workshop focuses on strengthening the <a href="https://urldefense.com/v3/__https://coq.inria.fr/community__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLaVqFwgE$" rel="noopener nofollow ugc" target="_blank" style="background-color:transparent;text-decoration-line:none">Coq community</a> 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.</p><p style="font-family:Arial,sans-serif;font-size:15.008px">Important dates:</p><ul style="margin:1em 0px 1em 1.25em;padding:0px 0px 0px 1.25em;clear:both;font-family:Arial,sans-serif;font-size:15.008px"><li style="margin-left:15px">May 10, 2022 (AoE): Deadline for submission of presentation proposals</li><li style="margin-left:15px">June 10, 2022: Notification to authors</li><li style="margin-left:15px">August 12, 2022: Workshop</li></ul><p style="font-family:Arial,sans-serif;font-size:15.008px">Submission instructions:</p><p style="font-family:Arial,sans-serif;font-size:15.008px">Authors should submit presentation proposals as extended abstracts <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=coq2022__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLs__AXRQ$" rel="noopener nofollow ugc" target="_blank" style="background-color:transparent;text-decoration-line:none">through EasyChair</a>.</p><p style="font-family:Arial,sans-serif;font-size:15.008px">Relevant subject matter includes but is not limited to:</p><ul style="margin:1em 0px 1em 1.25em;padding:0px 0px 0px 1.25em;clear:both;font-family:Arial,sans-serif;font-size:15.008px"><li style="margin-left:15px">Language or tactic features for Coq</li><li style="margin-left:15px">Theory and implementation of the Calculus of Inductive Constructions</li><li style="margin-left:15px">Applications of Coq and experience reports on Coq use in education and industry</li><li style="margin-left:15px">Tools and platforms built on Coq</li><li style="margin-left:15px">Plugins and libraries for Coq</li><li style="margin-left:15px">Interfacing with Coq</li><li style="margin-left:15px">Formalization tricks and Coq pearls</li></ul><p style="font-family:Arial,sans-serif;font-size:15.008px">Submission format:</p><p style="font-family:Arial,sans-serif;font-size:15.008px">Presentation proposals should be no more than 2 pages in length including bibliographic references, and should use the <a href="https://urldefense.com/v3/__https://easychair.org/publications/easychair.zip__;!!IBzWLUs!WrQZGbT48kg1jcmgxpI9ieu-FVfSP6_oU_L-vDR-rg8MFZ4a67-H305Qb-cpDnbhPRQFjQxPgjgNdOvvptGzYqDDh2-Xq1LLFbkM-UM$" rel="noopener nofollow ugc" target="_blank" style="background-color:transparent;text-decoration-line:none">EasyChair style</a> with the <code style="font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace;font-size:1em">fullpage</code> package. All submissions must be in PDF format.</p><p style="font-family:Arial,sans-serif;font-size:15.008px">Program committee:</p><ul style="margin:1em 0px 1em 1.25em;padding:0px 0px 0px 1.25em;clear:both;font-family:Arial,sans-serif;font-size:15.008px"><li style="margin-left:15px">Łukasz Czajka (Technical University of Dortmund)</li><li style="margin-left:15px">Emily First (University of Massachusetts Amherst)</li><li style="margin-left:15px">Kesha Hietala (University of Maryland)</li><li style="margin-left:15px">Shachar Itzhaky (Technion)</li><li style="margin-left:15px">Xavier Leroy (Collège de France and Inria)</li><li style="margin-left:15px">Érik Martin-Dorel (IRIT)</li><li style="margin-left:15px">Anders Mörtberg (Stockholm University)</li><li style="margin-left:15px">Karl Palmskog (KTH Royal Institute of Technology) [chair]</li><li style="margin-left:15px">Clément Pit-Claudel (Amazon AWS)</li><li style="margin-left:15px">Vincent Rahli (University of Birmingham)</li><li style="margin-left:15px">Talia Ringer (University of Illinois at Urbana-Champaign) [chair]</li></ul><p style="font-family:Arial,sans-serif;font-size:15.008px">Organizers and contact:</p><p style="font-family:Arial,sans-serif;font-size:15.008px">Karl Palmskog and Talia Ringer (<a href="mailto:coq2022@easychair.org" target="_blank" style="background-color:transparent;text-decoration-line:none">coq2022@easychair.org</a>)</p></div>