coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.