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/10
69 mails
Chronological Thread << < page 3 / 3 > >>
- [Coq-Club] Announcing Tactician version 1.0 beta2, Lasse Blaauwbroek, 10/23/2023
- [Coq-Club] SRC@POPL 2024 Call for Submissions, Neel Krishnaswami, 10/23/2023
- [Coq-Club] IJCAR 2024: call for co-located events, Peter Lammich, 10/25/2023
- [Coq-Club] IJCAR 2024 - Call for Papers, geoff, 10/25/2023
- [Coq-Club] MathComp 2.1.0 released, AffeldtReynald, 10/25/2023
- [Coq-Club] PriSC 2024: Call for Presentations, PriSC PC Chairs, 10/25/2023
- [Coq-Club] CoqPL 2024 CfP: deadline extended to Oct 31st AoE, Tej Chajed, 10/26/2023
- [Coq-Club] POPL 2024 Student Research Competition - deadline Friday 10 November, Donaldson, Alastair F, 10/26/2023
- [Coq-Club] CFP - FICS Workshop (submission deadline: 1st December 2023), Alexis Saurin, 10/30/2023
Archive powered by MHonArc 2.6.19+.