CoqPL 2018: Call for Presentations

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

CoqPL 2018: Call for Presentations

Sergey, Ilya
                          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


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

* 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

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:

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


For any queries, please contact : coqpl2018 at

Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
Only members subscribed via the mailman list are allowed to post.