# The Coq Workshop 2020: Call for Talk Proposals
**URL:** https://discourse.rocq-prover.org/t/the-coq-workshop-2020-call-for-talk-proposals/655
**Category:** Announcements
**Created:** [March 2, 2020, 4:06pm UTC](https://discourse.rocq-prover.org/t/the-coq-workshop-2020-call-for-talk-proposals/655 "2020-03-02T16:06:53Z")
**Posts on this page:** 3
**Page:** 1
### Author:  [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)
#### Post date: [March 2, 2020, 4:06pm UTC](https://discourse.rocq-prover.org/t/the-coq-workshop-2020-call-for-talk-proposals/655/1 "2020-03-02T16:06:54Z")
* * *
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](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/](https://ijcar2020.org/)).
The Coq workshop 2020 is the 11th Coq Workshop. The Coq Workshop
series ([https://coq-workshop.gitlab.io/](https://coq-workshop.gitlab.io/)) brings together Coq
([https://coq.inria.fr/](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](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](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@easychair.org](mailto:coq2020@easychair.org)]
---
### Author:  [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)
#### Post date: [April 6, 2020, 9:09pm UTC](https://discourse.rocq-prover.org/t/the-coq-workshop-2020-call-for-talk-proposals/655/2 "2020-04-06T21:09:11Z")
### Update
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**.
New dates:
- ** ~~April 13, 2020~~ April 27th 2020** (AoE): Deadline for abstract submission
- ** ~~April 29, 2020~~ May 20th 2020** : Notification to authors
- **July 5-6th 2020** : Workshop
---
### Author:  [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)
#### Post date: [April 27, 2020, 7:55pm UTC](https://discourse.rocq-prover.org/t/the-coq-workshop-2020-call-for-talk-proposals/655/3 "2020-04-27T19:55:29Z")
## Update
Due to several requests, the submission deadline has further been extended to the end of the week. The new dates are as follow:
- **May 1st, 2020** (Anywhere On Earth): Deadline for abstract submission
- **May 25th, 2020** : Notification to authors
- **July 5-6, 2020** : Workshop