coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [CFP] The Coq Workshop 2021: Deadline Extension

From: Jean-Marie Madiot <jean-marie.madiot AT inria.fr>
To: coq-club AT inria.fr, eutypes AT cs.ru.nl, types-announce AT lists.seas.upenn.edu, ssreflect AT msr-inria.inria.fr
Subject: [Coq-Club] [CFP] The Coq Workshop 2021: Deadline Extension
Date: Mon, 3 May 2021 20:17:48 +0200
Ironport-hdrordr: A9a23:ewBxyaEABiwN3GqfpLqFAJHXdLJzesId70hD6mlaQ3VuE/CwvcaogfgdyFvIkz4XQn4tgpStP6OHTHPa+/dOkO8sFJ2lWxTrv3btEZF64eLZslrdMgDd1soY76dvdKBiFMb9ZGIRse/W6BS1euxM/PCp66at7N2z815MSkVQZ7hk/0NFDG+gYy5LbSxHH4d8PIGX58pZq1ObCAgqR+G6HGRAf8Wrnay3qLvCYQQaQycg8hTmt0LW1JfeEwKEmisYSS9F27048WPI+jaJmJmLl/2g0BfT2yvywv1t+OfJ7ttGCIiyhtMOKjPq4zzYALhJYqaPtjw5rOak5D8R4aDxiiwtNchy9H/dF1vdyXDQ8jLt3zo053jpxUXwuwqAneXDSCs+G459g+tiHSfx0VYqv913zctwrgeknqdQZCmvoA3No/DVShcvrUavuHwki+JWtWBHSJATcqU5l/1vwGplVLkBAQPn48QdHOF1Csa03octTXqqK17Yo0hyy5iWUn4yBxeLRVVqgL3v7xFm2F540moFz4glkn0B7ZIwTIQBz+nIKahzjth1P78rRJM4KucdYNe9TlbARh/BKwupUCzaKJ0=

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 (coq2021 AT easychair.org)

[Coq-Club] [CFP] The Coq Workshop 2021: Deadline Extension, Jean-Marie Madiot, 05/03/2021