[TYPES/announce] The Coq Workshop 2020: Call for Talk Proposals

[Théo Zimmermann]

***********************************************************************
  The Coq Workshop 2020: Call for Talk Proposals---Colocated with the
10th International Joint Conference on Automated Reasoning (IJCAR 2020)
                          Paris, France
***********************************************************************

Find this call online at: https://coq-workshop.gitlab.io/2020

We are pleased to invite you to submit talk proposals for the Coq
workshop 2020, which will be held on July 5-6 2020, in Paris, France

The Coq workshop is part of IJCAR 2020 (https://ijcar2020.org/).

The Coq workshop 2020 is the 11th Coq Workshop.  The Coq Workshop
series (https://coq-workshop.gitlab.io/) brings together Coq
(https://coq.inria.fr/) 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 contributed
talks and discussions, supplemented with invited talks, seizing the
opportunity of the 35th birthday of the first release of Coq to spread
this year's edition over two days.

Important dates:
- April 13th 2020 (AoE): Deadline for abstract submission
- April 29th 2020: Notification to authors
- July 5-6th 2020: Workshop

Submission Instructions:

Authors should submit short proposals through EasyChair
(https://easychair.org/conferences/?conf=coq2020) in the form of a PDF
extended abstract of at most 2 pages, in full-page single-column style
(using the EasyChair template available at
https://easychair.org/publications/easychair.zip).

Relevant subject matter includes but is not limited to:
- Theory and implementation of the Calculus of Inductive Constructions
- Language or tactic features
- Plugins and libraries for Coq
- Techniques for formalization programming languages and mathematics
- Applications and experience in education and industry
- Tools and platforms built on Coq (including interfaces)
- Formalization tricks and pearls

Program Committee:

- Andrew Appel (Princeton University, USA)
- Sylvie Boldo (Inria Saclay, Université Paris-Saclay, France)
- Zaynah Dargaye (Nomadic Labs, Paris, France)
- Stefania Dumbrava (ENSIEE Paris-Evry, France)
- Karl Palmskog (KTH Royal Institute of Technology, Stockholm, Sweden)
- Gert Smolka (Saarland University, Germany)
- Laurent Théry (Inria Sophia-Antipolis, France)

Organizing Committee (co-chairs):

- Emilio J. Gallego Arias
- Hugo Herbelin
- Théo Zimmermann
  (Inria Paris, Université de Paris, France)
  [mail: coq2020 at easychair.org]