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
2025/04
16 mails
Chronological Thread << < page 1 / 1 > >>
- 25/04/01
- [Coq-Club] MIT Programming Languages Review Workshop 2025, Dustin Jamner
- 25/04/02
- [Coq-Club] [PPDP 25] Second Call for Papers, Carlos Olarte
- 25/04/03
- [Coq-Club] FSCD 2027: Call for Location, Carsten Fuhs
- 25/04/05
- 25/04/06
- [Coq-Club] VSTTE 2025: First call for papers, Clément Pit-Claudel
- 25/04/07
- [Coq-Club] UNIF 2025 2nd Call for Papers, Laurent Vigneron
- 25/04/08
- 25/04/09
- 25/04/11
- [Coq-Club] TyDe 2025 - call for papers & extended abstracts, Andras Kovacs
- 25/04/14
- [Coq-Club] Coq Platform release with Coq 8.20, Pierre Roux
- [Coq-Club] ACL2-2025 Second Call for Participation, Matt Kaufmann
- [Coq-Club] Ackermann Award: First call for nominations - Deadline 1st July, Maribel Fernandez
- 25/04/17
- [Coq-Club] DisCoTec 2025 Call for Participation, Matthew Alan Le Brun (PGR)
- 25/04/22
- [Coq-Club] DaLi 25, 2nd call for papers, Alexandre Madeira
- [Coq-Club] LSFA 2025 Last Call for Papers, Christophe Ringeissen
Archive powered by MHonArc 2.6.19+.