<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class=""><font face="Courier" class="">====================================================================</font></div>
<div class=""><span style="font-family: Courier;" class="">                          CoqPL 2018</span></div>
<div class=""><span style="font-family: Courier;" class=""><br class="">
</span></div>
<div class=""><font face="Courier" class="">                 Coq for Programming Languages</font></div>
<div class=""><font face="Courier" class="">                             --</font></div>
<div class=""><font face="Courier" class="">               A Coq users and developers meeting</font></div>
<div class=""><font face="Courier" class="">           13 January 2018, co-located with POPL (as usual)</font></div>
<div class=""><font face="Courier" class="">             Los Angeles, California, United States</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">                    CALL FOR PRESENTATIONS</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">           <a href="https://popl18.sigplan.org/track/CoqPL-2018" class="">https://popl18.sigplan.org/track/CoqPL-2018</a></font></div>
<div class=""><font face="Courier" class="">====================================================================</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">Workshop Overview</font></div>
<div class=""><font face="Courier" class="">-----------------</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">The series of CoqPL workshops provide an opportunity for programming</font></div>
<div class=""><font face="Courier" class="">languages researchers to meet and interact with one another and</font></div>
<div class=""><font face="Courier" class="">members from the core Coq development team. At the meeting, we will</font></div>
<div class=""><font face="Courier" class="">discuss upcoming new features, see talks and demonstrations of</font></div>
<div class=""><font face="Courier" class="">exciting current projects, solicit feedback for potential future</font></div>
<div class=""><font face="Courier" class="">changes, and generally work to strengthen the vibrant community around</font></div>
<div class=""><font face="Courier" class="">our favourite proof assistant.</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">Topics in scope include but are no limited to:</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">* General purpose libraries and tactic language extensions;</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">* Domain-specific libraries for programming language formalization and</font></div>
<div class=""><font face="Courier" class="">  verification;</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">* IDEs, profilers, tracers, debuggers, and testing tools;</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">* Reports on ongoing proof efforts conducted via (or in the context</font></div>
<div class=""><font face="Courier" class="">  of) the Coq proof assistant;</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">* Experience reports from Coq usage in educational or industrial</font></div>
<div class=""><font face="Courier" class="">  contexts.</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">To foster open discussion of cutting edge research which can later be</font></div>
<div class=""><font face="Courier" class="">published in full conference proceedings, we will not publish papers</font></div>
<div class=""><font face="Courier" class="">from the workshop. </font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">Workshop Format</font></div>
<div class=""><font face="Courier" class="">---------------</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">The workshop format will be driven by members of the Coq community. We</font></div>
<div class=""><font face="Courier" class="">will solicit abstracts for talks and proposals for demonstrations and</font></div>
<div class=""><font face="Courier" class="">flesh out format details based on responses. We expect the final</font></div>
<div class=""><font face="Courier" class="">program to include experiment reports, panel discussions, and invited</font></div>
<div class=""><font face="Courier" class="">talks. Talks will be selected according to relevance to the workshop,</font></div>
<div class=""><font face="Courier" class="">based on the submission of an extended abstract.</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">Submission Details</font></div>
<div class=""><font face="Courier" class="">------------------</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">* Abstract Submission : Monday, October, 16th, 2017</font></div>
<div class=""><font face="Courier" class="">* Author Notification : Monday, November 6th, 2017</font></div>
<div class=""><font face="Courier" class="">* Workshop            : Saturday, January 13th, 2018</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">Submissions should be extended abstracts of 1-2 pages in portable</font></div>
<div class=""><font face="Courier" class="">document format (PDF). Submission is via EasyChair:</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class=""> <a href="https://easychair.org/conferences/?conf=coqpl2018" class="">https://easychair.org/conferences/?conf=coqpl2018</a> </font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">Program Committee</font></div>
<div class=""><font face="Courier" class="">-----------------</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">* Yves Bertot, INRIA (Workshop Co-chair)</font></div>
<div class=""><font face="Courier" class="">* Ilya Sergey, University College London (Workshop Co-chair)</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">* Andrew Appel, Princeton University</font></div>
<div class=""><font face="Courier" class="">* Benjamin Delaware, Purdue University</font></div>
<div class=""><font face="Courier" class="">* Xinyu Feng, University of Science and Technology of China</font></div>
<div class=""><font face="Courier" class="">* Hugo Herbelin, INRIA</font></div>
<div class=""><font face="Courier" class="">* Chantal Keller, Université Paris-Sud</font></div>
<div class=""><font face="Courier" class="">* Ekaterina Komendantskaya, Heriot-Watt University</font></div>
<div class=""><font face="Courier" class="">* Beta Ziliani, Universidad Nacional de Córdoba</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">Contact</font></div>
<div class=""><font face="Courier" class="">-----------------</font></div>
<div class=""><font face="Courier" class=""><br class="">
</font></div>
<div class=""><font face="Courier" class="">For any queries, please contact : coqpl2018 at <a href="http://easychair.org" class="">easychair.org</a></font></div>
</body>
</html>