[TYPES/announce] Coq Workshop 2018: Last Call for Papers (deadline for abstracts: April 15th)

[Matthieu Sozeau]

========================================================================
               Coq Workshop 2018: Last Call for Papers

             Deadline for abstracts: Sunday, April 15th
========================================================================

                      Part of FLoC 2018
                  July 8th 2018, Oxford, UK

               https://coqworkshop2018.inria.fr/

========================================================================

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
- 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 at:

  https://easychair.org/conferences/?conf=coqworkshop2018

Submissions should be in portable document format (PDF). Proposals
should not exceed 2 pages in length in single-column full-page style.

We are open to many ideas on how to use the workshop time. Some
suggestions to drive proposals include sessions on tool demonstrations
or lessons learned from teaching Coq.

* Invited Speakers

- Véronique Benzaken and Évelyne Contejean (LRI, Université Paris-Sud)

  "A Coq mechanised formal semantics for real life SQL queries:
   Formally reconciling SQL and (extended) relational algebra."

- Zachary Tatlock (University of Washington)

  "Verifying Distributed Systems"

* Important Dates

- **April 15th**: Deadline for proposal submission
- May 15th: Acceptance notification
- July 8th: Workshop in Oxford

* Program Committee

- Abhishek Anand, Cornell University, United States
- Jacques-Henri Jourdan, LRI, Paris, France
- Pierre-Marie Pédrot, MPI, Saarbrücken, Germany
- Filip Sieczkowski,University of Wrocław, Poland
- Matthieu Sozeau (Organizer), Inria, Paris, France
- Bas Spitters, Aarhus University, Denmark
- Nicolas Tabareau (Organizer), Inria, Nantes, France
- Eric Tanter, Universidad de Chile, Santiago de Chile, Chile
- Stephanie Weirich, University of Pennsylvania, United States

* Organization
Contacts: matthieu.sozeau at inria.fr, nicolas.tabareau at inria.fr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180410/4d743d45/attachment-0001.html>