The 6th Coq Workshop
July 18, 2014 · Vienna, Austria
http://vsl2014.at/pages/Coq-index.html
The Coq Workshop series brings together Coq users, developers, and contributors. While conferences like ITP provide a venue for traditional research papers, the Coq Workshop focuses on strengthening the Coq community and providing a forum for discussing practical issues, including the future of the Coq software and its associated ecosystem of libraries and tools. Thus, the workshop will be organized around informal presentations and discussions, supplemented with invited talks.
We invite all members of the Coq community to propose informal talks, discussion sessions, or any potential uses of the day allocated to the workshop. Relevant subject matter includes but is not limited to:
- Language or tactic features
- Applications and experience in education and industry
- Tools and platforms built on Coq
- Plugins and libraries for Coq
- Interfacing with Coq
- Formalization tricks and Coq pearls
Authors should submit short proposals through EasyChair at the following URL:
https://www.easychair.org/conferences/?conf=coq6
Submissions should be in portable document format (PDF). Proposals should not exceed 2 pages in length in single-column full-page style.
Important Dates
| Deadline for proposal submission | April 4, 2014 |
| Acceptance notification | April 25, 2014 |
| Workshop | July 18, 2014 |
Program Committee
- Andrej Bauer (University of Ljubljana)
- Derek Dreyer (MPI-SWS) - chair
- Andrew Kennedy (Microsoft Research Cambridge)
- Christine Paulin-Mohring (Université Paris-Sud)
- Matthieu Sozeau (INRIA Paris)
- Antonis Stampoulis (MIT CSAIL)
- Viktor Vafeiadis (MPI-SWS) - chair
- Steve Zdancewic (University of Pennsylvania)