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 > >>
- [Coq-Club] MIT Programming Languages Review Workshop 2025, Dustin Jamner, 04/01/2025
- [Coq-Club] [PPDP 25] Second Call for Papers, Carlos Olarte, 04/02/2025
- [Coq-Club] FSCD 2027: Call for Location, Carsten Fuhs, 04/03/2025
- [Coq-Club] Marktoberdorf 2025 CFP, geoff, 04/05/2025
- [Coq-Club] VSTTE 2025: First call for papers, Clément Pit-Claudel, 04/06/2025
- [Coq-Club] UNIF 2025 2nd Call for Papers, Laurent Vigneron, 04/07/2025
- [Coq-Club] French Spring School in Theoretical Computer Science EPIT 2025 --- last days before registration deadline, Alexis Saurin, 04/08/2025
- [Coq-Club] Call for Papers: 23rd International Workshop on Satisfiability Modulo Theories, geoff, 04/09/2025
- [Coq-Club] CICM 2025: 3rd Announcement and Call for Papers, Serge Autexier, 04/09/2025
- [Coq-Club] TyDe 2025 - call for papers & extended abstracts, Andras Kovacs, 04/11/2025
- [Coq-Club] Coq Platform release with Coq 8.20, Pierre Roux, 04/14/2025
- [Coq-Club] ACL2-2025 Second Call for Participation, Matt Kaufmann, 04/14/2025
- [Coq-Club] Ackermann Award: First call for nominations - Deadline 1st July, Maribel Fernandez, 04/14/2025
- [Coq-Club] DisCoTec 2025 Call for Participation, Matthew Alan Le Brun (PGR), 04/17/2025
- [Coq-Club] DaLi 25, 2nd call for papers, Alexandre Madeira, 04/22/2025
- [Coq-Club] LSFA 2025 Last Call for Papers, Christophe Ringeissen, 04/22/2025
Archive powered by MHonArc 2.6.19+.