[TYPES/announce] The 6th Coq workshop: call for contributions

[Viktor Vafeiadis]

*************************************************************
The 6th Coq Workshop
Vienna, Austria - July 18, 2014
(Co-located with ITP'14 and the other FLoC'14 conferences)
*************************************************************

http://vsl2014.at/pages/Coq-index.html

** Call for papers **

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

** Submission instructions **

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 **

Submission deadline: April 4, 2014
Notification:        April 25, 2014
Workshop:            July 18, 2014

** Organizers & PC chairs **

- Derek Dreyer (MPI-SWS)
- Viktor Vafeiadis (MPI-SWS)

** Program committee **

- Andrej Bauer (University of Ljubljana)
- Andrew Kennedy (Microsoft Research Cambridge)
- Christine Paulin-Mohring (Université Paris-Sud)
- Matthieu Sozeau (INRIA Paris)
- Antonis Stampoulis (MIT CSAIL)
- Steve Zdancewic (University of Pennsylvania)