[TYPES/announce] [CFP] The Coq Workshop 2021: Deadline Extension

[Jean-Marie Madiot]

Dear all,

the deadline for submissions of talk proposals for the Coq Workshop
2021 has been extended to Friday, May 7th, "Anywhere on Earth".

New dates:
- May 7th, 2021 (AoE): deadline for submissions of talk proposals
- May 31st, 2021: notification to authors
- July 2nd, 2021: workshop (online)

Submissions are in the form of 2-page talk proposals. More info at
https://coq-workshop.gitlab.io/2021/

Sincerely,
Christian Doczkal and Jean-Marie Madiot (coq2021 at easychair.org)