coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2021/09
61 mails
Chronological Thread << < page 1 / 3 > >>
- 21/08/28
- [Coq-Club] Third Call for Papers SYNASC 2021, SYNASC 2021
- 21/08/30
- 21/09/01
- [Coq-Club] Proof and Computation 2021, Chuangjie Xu
- [Coq-Club] CALL FOR WORKSHOPS - ICLP 2022, Víctor Pérez
- [Coq-Club] RAMiCS 2021 - Call for participation (onsite/online), luigi . santocanale
- 21/09/03
- 21/09/06
- [Coq-Club] records ?, Jeremy Dawson
- Re: [Coq-Club] records ?, Agnishom Chattopadhyay
- Re: [Coq-Club] records ?, Jeremy Dawson
- Re: [Coq-Club] records ?, Agnishom Chattopadhyay
- Re: [Coq-Club] records ?, Jeremy Dawson
- Re: [Coq-Club] records ?, Agnishom Chattopadhyay
- Re: [Coq-Club] records ?, mukesh tiwari
- Re: [Coq-Club] records ?, Madhukar
- [Coq-Club] Postdoctoral position in homotopy type theory and related topics at Stockholm University, Anders Mortberg
- Re: [Coq-Club] records ?, Jeremy Dawson
- [Coq-Club] Call for Contributions: WITS 2022, Jesper Cockx
- [Coq-Club] Call for (virtual and free) participation, ICTAC'21, Sept 8-10, Antonio Cerone
- 21/09/07
- 21/09/08
- [Coq-Club] Using SerAPI in a plugin, Talia Ringer
- Re: [Coq-Club] Using SerAPI in a plugin, Jason Gross
- Re: [Coq-Club] Using SerAPI in a plugin, Lasse Blaauwbroek
- Re: [Coq-Club] Using SerAPI in a plugin, Talia Ringer
- Re: [Coq-Club] Using SerAPI in a plugin, Lasse Blaauwbroek
- Re: [Coq-Club] Using SerAPI in a plugin, Talia Ringer
- [Coq-Club] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021, Andrei Popescu
- [Coq-Club] Call to participate to the WG that will prepare the Coq community survey, Théo Zimmermann
- [Coq-Club] PLDI 2022 First Call for Papers, William J. Bowman
Archive powered by MHonArc 2.6.19+.