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/03
42 mails
Chronological Thread << < page 2 / 2 > >>
- [Coq-Club] Call for Participation, Functional Software Architecture (Oct. 17th, Singapore), Michael Sperber, 03/25/2025
- [Coq-Club] Call for Papers, Functional Software Architecture (Deadline June 16), Michael Sperber, 03/25/2025
- [Coq-Club] Call for papers: FCS @ CSF'25 (Extended deadline: April 6 AoE), Vassena, M. (Marco), 03/26/2025
- [Coq-Club] LSFA 2025 Second Call for Papers, Christophe Ringeissen, 03/26/2025
- [Coq-Club] Rocq Platform Docs: announcement and call to contribution, Thomas Lamiaux, 03/26/2025
- [Coq-Club] LFMTP 2025, First Call for Papers - Birmingham, UK, Daniele Nantes, 03/26/2025
- [Coq-Club] Call for Papers - The 28th Forum on specification and Design Languages (FDL), Johannes Koch, 03/27/2025
- [Coq-Club] Haskell Symposium 2025 First Call for Papers, Ningning Xie, 03/27/2025
- [Coq-Club] Call for Nominations: SLE 2025 - Artifact Evaluation Committee, Nominations Wanted, Andrei Chis, 03/27/2025
- [Coq-Club] Professorhip in » Logic and Verification in Computer Science «, Javier Esparza, 03/28/2025
- [Coq-Club] FINAL CFP: CONCUR 2025, Jaco van de Pol, 03/28/2025
- [Coq-Club] [ANN] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris, Francois Pottier, 03/28/2025
Archive powered by MHonArc 2.6.19+.