<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">===================================================================</span><br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
<div><br class="ContentPasted0">
</div>
<blockquote style="margin-top:0;margin-bottom:0">
<div class="ContentPasted0"> CoqPL 2024</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"> 10th International Workshop on Coq</div>
<div class="ContentPasted0"> for Programming Languages</div>
<div class="ContentPasted0"> --</div>
<div class="ContentPasted0"> January 20, 2024, co-located with POPL</div>
<div class="ContentPasted0"> London, UK</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"> CALL FOR PRESENTATIONS</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"> https://popl24.sigplan.org/home/CoqPL-2024</div>
</blockquote>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">===================================================================</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Workshop Overview</div>
<div class="ContentPasted0">-----------------</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The series of CoqPL workshops provide an opportunity for programming languages researchers and practitioners with an interest in Coq to meet and interact with one another and members from the core Coq development team. At the meeting,
we will discuss upcoming new features, see talks and demonstrations of exciting current projects, solicit feedback for potential future changes to Coq itself, and generally work to strengthen the vibrant community around our favorite proof assistant.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Topics in scope include:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">- Formalizations of PL research in Coq</div>
<div class="ContentPasted0">- General purpose libraries and tactic language extensions</div>
<div class="ContentPasted0">- Domain-specific libraries for programming language formalization and verification</div>
<div class="ContentPasted0">- IDEs, profilers, tracers, debuggers, and testing tools</div>
<div class="ContentPasted0">- Reports on ongoing proof efforts conducted via (or in the context of) the Coq proof assistant</div>
<div class="ContentPasted0">- Experience reports from Coq usage in educational or industrial contexts</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Workshop Format</div>
<div class="ContentPasted0">---------------</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The workshop format will be driven by you, members of the community. We will solicit abstracts for talks and proposals for demonstrations and flesh out format details based on responses. We expect the final program to include experiment
reports, panel discussions, and invited talks (details TBA). Talks will be selected according to relevance to the workshop, based on the submission of an extended abstract.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">To foster open discussion of cutting edge research which can later be published in full conference proceedings, we will not publish papers from the workshop. However, presentations may be recorded and the videos may be made publicly
available.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Submission Details</div>
<div class="ContentPasted0">------------------</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Submission page: https://coqpl24.hotcrp.com/</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Important Dates:</div>
<div class="ContentPasted0">- Submission: Thursday, October 26, 2023</div>
<div class="ContentPasted0">- Notification: Thursday, November 23, 2023</div>
<div class="ContentPasted0">- Workshop: Saturday, January 20, 2024</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Submissions for talks and demonstrations should be described in an extended abstract, between 1 and 2 pages in length (excluding bibliography). We suggest formatting the text using the two-column ACM SIGPLAN latex style (9pt font).
Templates are available from the ACM SIGPLAN page: https://www.sigplan.org/Resources/Author.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Program Committee</div>
<div class="ContentPasted0">-----------------</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Co-chairs:</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">- Tej Chajed, University of Wisconsin-Madison, USA</div>
<div class="ContentPasted0">- Kathrin Stark, Heriot-Watt University, UK</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Program Committee:</div>
<div><br class="ContentPasted0">
</div>
<div><span style="text-decoration: none; display: inline !important; background-color: rgb(255, 255, 255);" class="ContentPasted1">- Tej Chajed, University of Wisconsin-Madison, USA</span><br>
</div>
<div class="ContentPasted0">- Arthur Charguéraud, Inria & Université de Strasbourg, CNRS, ICube, France</div>
<div class="ContentPasted0">- Adam Chlipala, Massachusetts Institute of Technology, USA</div>
<div class="ContentPasted0">- Liron Cohen, Ben-Gurion University, Beer-Sheva, Israel</div>
<div class="ContentPasted0">- Amy Felty, University of Ottawa, Canada</div>
<div class="ContentPasted0">- Ralf Jung, ETH Zurich, Switzerland</div>
<div class="ContentPasted0">- Jan-Oliver Kaiser, Bedrock Systems</div>
<div class="ContentPasted0"><span style="text-decoration: none; display: inline !important; background-color: rgb(255, 255, 255);" class="ContentPasted2">- Kathrin Stark, Heriot-Watt University, UK</span><br>
</div>
<div class="ContentPasted0">- Enrico Tassi, Inria</div>
<div class="ContentPasted0">- Yannick Zakowski, Univ Lyon, EnsL, UCBL, CNRS, Inria</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Remote Participation Plans</div>
<div class="ContentPasted0">----------------------------------</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">We will follow the same protocol for virtual / hybrid attendance as POPL 2024 as a whole.</div>
<br>
</div>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<title>Untitled Document</title>
<div align="center">
<hr size="2" width="100%" align="center">
</div>
<p style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;margin:0;">
Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences.
This email is generated from the Heriot-Watt University Group, which includes:</p>
<ol style="margin:0;">
<li style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;">
Heriot-Watt University, a Scottish charity registered under number SC000278</li><li style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;">
Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services
Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS.</li></ol>
<p style="font-family: Arial, Helvetica Neue, Helvetica, sans-serif; font-size: 8pt;margin:0;">
The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then
delete it (including any attachments) from your system.</p>
</body>
</html>