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
2023/12
23 mails
Chronological Thread << < page 1 / 1 > >>
- 23/11/30
- 23/12/01
- [Coq-Club] fully qualified names in Print, Abhishek Anand
- [Coq-Club] Deadline extension for FICS Workshop (new deadline: 6/12/2023), Alexis Saurin
- 23/12/02
- [Coq-Club] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24), Kristopher K Micinski
- 23/12/07
- [Coq-Club] Engineer positions at Inria Paris: Rust Verification and Tooling, Aymeric Fromherz
- [Coq-Club] Two Postdoctoral Positions in Formal Methods, Orleans, France, Frederic Loulergue
- 23/12/08
- 23/12/09
- 23/12/10
- 23/12/11
- [Coq-Club] JFLA 2024 - Inscriptions ouvertes, Delphine Demange
- 23/12/12
- [Coq-Club] ICFP 2024: Call for Workshops and Co-Located Events, ICFP Publicity
- [Coq-Club] ITP 2024: First Call for Papers, Yves Bertot
- [Coq-Club] CiE 2024: CALL FOR PAPERS, acie
- [Coq-Club] MetaCoq tutorial at POPL on Sunday, January 14th, Yannick Forster
- 23/12/15
- 23/12/16
- 23/12/17
- [Coq-Club] Lean Together 2024, Rob Lewis
- 23/12/18
- 23/12/20
- 23/12/21
- Re: [Coq-Club] MetaCoq tutorial at POPL on Sunday, January 14th, Yannick Forster
- 23/12/22
Archive powered by MHonArc 2.6.19+.