[TYPES/announce] The Coq Workshop 2020: Deadline Extension

Emilio Jesús Gallego Arias e at x80.org
Mon Apr 27 13:56:55 EDT 2020


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: coq2020 at easychair.org]


More information about the Types-announce mailing list