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 > >>
- 25/03/25
- 25/03/26
- [Coq-Club] Call for papers: FCS @ CSF'25 (Extended deadline: April 6 AoE), Vassena, M. (Marco)
- [Coq-Club] LSFA 2025 Second Call for Papers, Christophe Ringeissen
- [Coq-Club] Rocq Platform Docs: announcement and call to contribution, Thomas Lamiaux
- [Coq-Club] LFMTP 2025, First Call for Papers - Birmingham, UK, Daniele Nantes
- 25/03/27
- 25/03/28
- [Coq-Club] Professorhip in » Logic and Verification in Computer Science «, Javier Esparza
- [Coq-Club] Deadline extension (9 April): GPCE 2025, Jeremy Yallop
- [Coq-Club] FINAL CFP: CONCUR 2025, Jaco van de Pol
- [Coq-Club] [ANN] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris, Francois Pottier
Archive powered by MHonArc 2.6.19+.