==================================================================== CoqPL 2018 Coq for Programming Languages -- A Coq users and developers meeting 13 January 2018, co-located with POPL (as usual) Los Angeles, California, United States CALL FOR PRESENTATIONS https://popl18.sigplan.org/track/CoqPL-2018 ==================================================================== Workshop Overview ----------------- The series of CoqPL workshops provide an opportunity for programming languages researchers 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, and generally work to strengthen the vibrant community around our favourite proof assistant. Topics in scope include but are no limited to: * General purpose libraries and tactic language extensions; * Domain-specific libraries for programming language formalization and verification; * IDEs, profilers, tracers, debuggers, and testing tools; * Reports on ongoing proof efforts conducted via (or in the context of) the Coq proof assistant; * Experience reports from Coq usage in educational or industrial contexts. 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. Workshop Format --------------- The workshop format will be driven by members of the Coq 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. Talks will be selected according to relevance to the workshop, based on the submission of an extended abstract. Submission Details ------------------ * Abstract Submission : Monday, October, 16th, 2017 * Author Notification : Monday, November 6th, 2017 * Workshop : Saturday, January 13th, 2018 Submissions should be extended abstracts of 1-2 pages in portable document format (PDF). Submission is via EasyChair: https://easychair.org/conferences/?conf=coqpl2018 Program Committee ----------------- * Yves Bertot, INRIA (Workshop Co-chair) * Ilya Sergey, University College London (Workshop Co-chair) * Andrew Appel, Princeton University * Benjamin Delaware, Purdue University * Xinyu Feng, University of Science and Technology of China * Hugo Herbelin, INRIA * Chantal Keller, Université Paris-Sud * Ekaterina Komendantskaya, Heriot-Watt University * Beta Ziliani, Universidad Nacional de Córdoba Contact ----------------- For any queries, please contact : coqpl2018 at easychair.orghttp://easychair.org