[TYPES/announce] Last announcement: The Coq workshop, deadline April 30th, 2015

[bertot]

    The Coq workshop 2015

/The 7^th Coq Workshop/
Sophia Antipolis, France
June 26, 2015

The Coq system is an interactive theorem prover based on Type Theory.
The Coq Workshop <https://coq.inria.fr/coq-workshop> series brings 
together Coq users, developers, and contributors.

While conferences usually 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.


    Submission Instructions

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
  * Theory and implementation of the Calculus of Inductive Constructions
  * 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 
<https://easychair.org/conferences/?conf=coq7>. Submissions should be an 
extended abstract of 1-2 pages in portable document format (PDF). Follow 
this link. <https://easychair.org/conferences/?conf=coq7>


    Important dates

  * *April 30, 2015* Deadline for abstract submission
  * *May 15, 2015* Notification to authors
  * *June 26, 2015* Workshop date


    Program Committee

  * Reynald Affeldt <https://staff.aist.go.jp/reynald.affeldt/>
  * Yves Bertot <http://www-sop.inria.fr/members/Yves.Bertot/> (chair)
  * Sylvie Boldo <https://www.lri.fr/%7Esboldo/>
  * Pierre Letouzey
    <http://www.pps.univ-paris-diderot.fr/%7Eletouzey/index.en.html>
  * Greg Malecha <http://www.people.fas.harvard.edu/%7Egmalecha/>
  * Gert Smolka <https://www.ps.uni-saarland.de/%7Esmolka/>
  * Bas Spitters <http://www.cs.ru.nl/%7Espitters/>
  * Stephanie Weirich <http://www.cis.upenn.edu/%7Esweirich/>

This Coq workshop will be associated with the Coq Coding Sprint 
<https://coq.inria.fr/cocorico/CoqCodingSprint/CoqCS1>, so it will be a 
particularly good occasion to meet developers of the system.



    Organization

*Contact:* yves.bertot at inria.fr

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150421/4f8b6d47/attachment.html>