<div dir="ltr"><div style="text-align:center"><font size="4"><span class="gmail-il">CoqPL</span><span class="gmail-Apple-converted-space"> </span>2023</font></div><div style="text-align:center"><br></div><div style="text-align:center">9th International Workshop on Coq</div><div style="text-align:center">for Programming Languages</div><div style="text-align:center">                              </div><div style="text-align:center">January 21, 2023, co-located with POPL</div><div style="text-align:center">Boston, Massachusetts, USA</div><div style="text-align:center"><br></div><div style="text-align:center"><a href="https://urldefense.com/v3/__https://popl23.sigplan.org/home/CoqPL-2023__;!!IBzWLUs!XZlD5Z1G68lNEMFY7xbK4U-jo0UXHOPOCmd1FZf2e0qvEl1WeZn_Je2Jf9GTlEYX6-u1ogOrwxTc_suDZOA$">CALL FOR PRESENTATIONS</a></div><div style="text-align:center">Deadline: Oct 31, 2022, AOE</div><br><div style="text-align:center"><br></div><font size="4">Workshop Overview</font><br><br>The series of<span class="gmail-Apple-converted-space"> </span><span class="gmail-il">CoqPL</span><span class="gmail-Apple-converted-space"> </span>workshops provide an opportunity for programming<br>languages researchers and practitioners with an interest in Coq to<br>meet and interact with one another and members from the core Coq<br>development team. At the meeting, we will discuss upcoming new<br>features, see talks and demonstrations of exciting current projects,<br>solicit feedback for potential future changes to Coq itself, and<br>generally work to strengthen the vibrant community around our favorite<br>proof assistant.<br><br>Topics in scope include:<br><ul><li>Formalizations of PL research in Coq<br></li><li>General purpose libraries and tactic language extensions<br></li><li>Domain-specific libraries for programming language formalization and verification</li><li>IDEs, profilers, tracers, debuggers, and testing tools<br></li><li>Reports on ongoing proof efforts conducted via (or in the context of) the Coq proof assistant</li><li>Experience reports from Coq usage in educational or industrial contexts</li></ul><font size="4">Workshop Format<br></font><br>The workshop format will be driven by you, members of the community.<br>We will solicit abstracts for talks and proposals for demonstrations<br>and flesh out format details based on responses. We expect the final<br>program to include experiment reports, panel discussions, and invited<br>talks (details TBA). Talks will be selected according to relevance to<br>the workshop, based on the submission of an extended abstract.<br><br>To foster open discussion of cutting edge research which can later be<br>published in full conference proceedings, we will not publish papers<br>from the workshop. However, presentations may be recorded and the<br>videos may be made publicly available.<br><br><font size="4">Submission Details</font><br><br>Submission page <a href="https://urldefense.com/v3/__https://coqpl23.hotcrp.com/__;!!IBzWLUs!XZlD5Z1G68lNEMFY7xbK4U-jo0UXHOPOCmd1FZf2e0qvEl1WeZn_Je2Jf9GTlEYX6-u1ogOrwxTcEm5ylpI$">can be found here</a><span class="gmail-Apple-converted-space"> </span><br><br>Important Dates:<br>- Submission:   Monday, October 31, 2022<br>- Notification:   Thursday, November 17, 2022<br>- Workshop:     Saturday, January 21, 2023<br><br>Submissions for talks and demonstrations should be described in an<br>extended abstract, between 1 and 2 pages in length (excluding<br>bibliography). We suggest formatting the text using the two-column ACM<br>SIGPLAN latex style (9pt font). Templates are available from the ACM<br><a href="https://urldefense.com/v3/__https://www.sigplan.org/Resources/Author__;!!IBzWLUs!XZlD5Z1G68lNEMFY7xbK4U-jo0UXHOPOCmd1FZf2e0qvEl1WeZn_Je2Jf9GTlEYX6-u1ogOrwxTcQ7sEaqg$  ">SIGPLAN page</a>.<br><br><font size="4">Program Committee</font><br><br>Co-chairs:<br><br>- Tej Chajed, VMware Research and University of Wisconsin, USA<br>- Benjamin Pierce, University of Pennsylvania, USA<br><br>Program Committee:<br><br>- Danil Annenkov, Aarhus University, Denmark<br>- Qinxiang Cao, Shanghai Jiao Tong University, China<br>- Tej Chajed, VMware Research and University of Wisconsin, USA<br>- Maxime Denes, INRIA, France<br>- Hugo Herbelin, INRIA, France<br>- Benjamin C. Pierce, University of Pennsylvania, USA<br>- Clement Pit-Claudel, EPFL, Switzerland<br>- Talia Ringer, University of Illinois, USA<br>- Christine Rizkallah, University of Melbourne, Australia<br>- Zoe Paraskevopoulou, Northeastern University, USA<br><br><font size="4">Covid / Remote Participation Plans</font><br><br>We will follow the same protocol for virtual / hybrid attendance as<br>POPL 2023 as a whole.<div class="gmail-yj6qo"></div><br class="gmail-Apple-interchange-newline"></div>