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/01
40 mails
Chronological Thread << < page 2 / 2 > >>
- [Coq-Club] ITP 2025: First Call for Papers, Yannick Forster, 01/23/2025
- [Coq-Club] Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM), Jonathan Weinberger, 01/24/2025
- [Coq-Club] Rocq 9.0+rc1 has just been tagged, Pierre-Marie Pédrot, 01/24/2025
- [Coq-Club] Call for Papers LSFA 2025, Mallku Soldevila, 01/24/2025
- [Coq-Club] Midlands Graduate School 2025, Graham Hutton, 01/27/2025
- [Coq-Club] LSFA 2025 Call for Papers, Christophe Ringeissen, 01/27/2025
- [Coq-Club] How to use (well) the FMap* modules ?, Frédéric Fort, 01/28/2025
- [Coq-Club] Postdoc positions in type theory (start: May 2025; location: Budapest, Hungary), Ambrus Kaposi, 01/29/2025
- [Coq-Club] 2nd CfP: FMBC 2025 - 6th International Workshop on Formal Methods for Blockchains, Orestis Melkonian, 01/29/2025
- [Coq-Club] FroCoS 2025 - Call for Papers, geoff, 01/29/2025
Archive powered by MHonArc 2.6.19+.