Skip to Content.
Sympa Menu

coq-club - [Coq-Club] The Coq Workshop 2020: Deadline Extension

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] The Coq Workshop 2020: Deadline Extension


Chronological Thread 
  • From: Emilio Jesús Gallego Arias <e AT x80.org>
  • To: Coq Club <coq-club AT inria.fr>, eutypes AT cs.ru.nl, types-announce AT lists.seas.upenn.edu
  • Subject: [Coq-Club] The Coq Workshop 2020: Deadline Extension
  • Date: Mon, 27 Apr 2020 19:56:55 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
  • Ironport-phdr: 9a23:0N1F4xMx6cGwwSpqDcAl6mtUPXoX/o7sNwtQ0KIMzox0Iv/4rarrMEGX3/hxlliBBdydt6sZzbeH+Pm5BCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagYb5+NhW7oAHeusULnIdvKrs6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyocKTU37H/YhdBxjKJDoRKuuRp/w5LPYIqIMPZyZ77Rcc8GSWZEWMtaSi5PDZ6mb4YXD+QPI/tWr47zqVUNoxSxChWjCuz0xz9Un3/7x7E23/g7HAzE2gErAtIAsG7TrNXwLKocXuW1zKjMzTXCaPNZwTPz55bTcgg7uvGDRbN+ftDVyUkrCQzFgVKQppT5MjOP1+QCqXOb5PdnWO2xkGMmpAJ8riS1yscrkInJiZsYx1bZ/it3x4Y1IMe3SE99YdO8H5tQtj2aN49sTcw5WW1ouSE6x7sbspC4ZCgH0Ikryh3cZvCdbYSE/BPuWPyMLTp6mX5pYq+zihis/US4yeDxV9O43VdIoyZfltTArH4A2hrO4cadUPR95F2u2TOX2gDT9O5EJUc0mLLUKpMi3rI8jJ0TsV7MHiPumUX2irGZdlk89+S16OnqYa/qqoGCO4J1kA3yL6YjltGlDeglPAUCQXCX+eGm273i+U35Tq9KjvozkqTBrp/XPssaq62lDwNP1YYj8Rm/Ay+80NsEhXkHME5FeBWfgof1PFHOOen0Auu7g1Sxizhm3OvGP73kApXVNHfPirbhfbBn605d0gU/195f54gHQo0Gddn0QwfasMHSRksyNBXxyOL6Av180JkfUCSBGPndeK7PrU6Q6/kHKPLKfpJTvjK5Y+Q0//P1yHY/n1gAe6Kk9Z8Wc2yjWO9rKl7ffGLhhNFHHGsX7SQkS+m/pViDVT9UUFS/RDAn0R4yDIarAoD0b5qsiafJiCqTDs0OIGdcBQbfQj/Ta4yYVqJUO2qpKch7n2lBDOD5Et5z5VSVrAb/joFfAK/R8ywcu4jk0Ykn972L0xYo+m4tVpjP4yS2V2hx21gwaXouxqku81wtkhGEy6cq26UFR+wW3OtAV0IBDbCZz+F+DIGgSlKZONCTRwT/Tw==
  • Organization: X80 Heavy Industries

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]


  • [Coq-Club] The Coq Workshop 2020: Deadline Extension, Emilio Jesús Gallego Arias, 04/27/2020

Archive powered by MHonArc 2.6.18.

Top of Page