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/07
15 mails
Chronological Thread << < page 1 / 1 > >>
- [Coq-Club] WebAssembly Workshop @ ICFP / SPLASH 2025, Conrad Watt, 06/30/2025
- [Coq-Club] Postdoctoral Researcher Position at the University of Tartu, Danel Ahman, 07/01/2025
- [Coq-Club] Call for Submissions: SPLASH Doctoral Symposium 2025, Conrad Watt, 07/02/2025
- [Coq-Club] Release of Iris 4.4 and std++ 1.12, Announcement of iris-contrib, Ralf Jung, 07/02/2025
- [Coq-Club] Rocqshop 2025 call for presentations, Pierre Boutry, 07/02/2025
- [Coq-Club] CSL 2026 - Second Call for Papers, Barbara König, 07/05/2025
- [Coq-Club] Postdoc positions in type theory, closing date: 25 July, Nicolai Kraus, 07/07/2025
- [Coq-Club] [CFP] Gemini 2.5 Pro AI vs ω-categories and schemes — Re: QMJ -> ZML, Christopher Mary, 07/08/2025
- [Coq-Club] [SUBMISSION LINK ADDED] Rocqshop 2025 call for presentations, Pierre Boutry, 07/08/2025
- [Coq-Club] OCAML'25: Extended Deadline for The OCaml Users and Developers Workshop, Kiran (She/Her), 07/08/2025
- [Coq-Club] FSCD 2025: Free online participation, 15 - 18 July 2025, Carsten Fuhs, 07/09/2025
- [Coq-Club] [CFP] Gemini 2.5 Pro AI vs Coq vs ω-categories and schemes — Re: [ANN] coq-lsp 0.2.3, Christopher Mary, 07/10/2025
- [Coq-Club] Temporary software engineer position at Inria, ENS Lyon, Guillaume Melquiond, 07/11/2025
- [Coq-Club] First Workshop on Logic Statistical and Neural AI (LoStaN), co-located with JELIA 2025 on September 2-3, 2025 Kutaisi, Georgia., Besik Dundua, 07/15/2025
- [Coq-Club] [DEADLINE EXTENDED] Rocqshop 2025 call for presentations, Pierre Boutry, 07/15/2025
Archive powered by MHonArc 2.6.19+.