[TYPES/announce] [CFP] The Coq Workshop 2021: Deadline Extension
Jean-Marie Madiot
jean-marie.madiot at inria.fr
Mon May 3 14:17:48 EDT 2021
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)
More information about the Types-announce
mailing list