[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
the deadline for abstract submission for the Coq Workshop 2020 has been
extended until Friday, May 1st, "Anywhere on Earth"
New dates:
- May 1st, 2020 (AoE): Deadline for abstract submission
- May 25th, 2020: Notification to authors
- July 5-6th 2020: Workshop [online]
Find more information online at: https://coq-workshop.gitlab.io/2020
Yours sincerely,
Organizing Committee (co-chairs):
- Emilio J. Gallego Arias
- Hugo Herbelin
- Théo Zimmermann
(Inria Paris, Université de Paris, France)
[mail: [email protected]]
