[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected])
