[TYPES/announce] The Coq Workshop 2020: Second Call for Talk Proposals + COVID-19 update

[Théo Zimmermann]

***********************************************************************
  The Coq Workshop 2020: Second Call for Talk Proposals
***********************************************************************

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

COVID-19 notice:

Due to the COVID-19 outbreak and containment measures in France and in
most other countries, the FSCD-IJCAR conferences to which the Coq
workshop is affiliated will be held as a virtual event, and so will
the Coq workshop.

Since the COVID-19 crisis is affecting everyone's life and since
attending a virtual event requires less planning ahead than attending
a physical one, we have extended the submission deadline.

We invite you to submit talk proposals for the Coq workshop 2020,
which will be held as a virtual event online on July 5-6 2020.

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 (UPDATED):
- April 27th 2020 (AoE): Deadline for abstract submission
- May 20th 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]