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/06
25 mails
Chronological Thread << < page 1 / 1 > >>
- [Coq-Club] FME Teaching Tutorial on June 6, 2025, 3pm CET: Prof Philip Wadler, University of Edinburgh, UK: Lambda, the Ultimate Teaching Assistant (Agda version), João F. Ferreira, 05/30/2025
- [Coq-Club] TyDe 2025 - Final Call for Papers, 汪宇霆, 05/31/2025
- [Coq-Club] School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions, Besik Dundua, 06/02/2025
- [Coq-Club] Second Workshop on "Next-Generation Models for Generative AI", edprocess, 06/02/2025
- [Coq-Club] ETAPS 2026 Joint Call for Papers, root, 06/02/2025
- [Coq-Club] CFP - 1st International Workshop on Logic, Statistical and Neural AI (LoStaN 2025), Besik Dundua, 06/03/2025
- [Coq-Club] [ANN] coq-lsp 0.2.3, Emilio Jesús Gallego Arias, 06/04/2025
- [Coq-Club] ML Family Workshop 2025: 2nd CFP: deadline June 19!, Samuel Westrick, 06/04/2025
- [Coq-Club] FSCD 2025: Second Call for Participation (student fee waivers - apply by *9 June 2025*), Carsten Fuhs, 06/05/2025
- [Coq-Club] Assist./Assoc. Professor Positions at NII, Tokyo, Ichiro Hasuo, 06/07/2025
- [Coq-Club] CADE-30 Call for Participation, geoff, 06/10/2025
- [Coq-Club] TyDe 2025 - Call for Papers (Submission deadline extended to Jun 22; Remote presentation supported), 汪宇霆, 06/10/2025
- [Coq-Club] PhD Position in Parametric Floating-Point Reasoning at Uppsala, Tjark Weber, 06/11/2025
- [Coq-Club] Call for participation to UNIF 2025, Laurent Vigneron, 06/12/2025
- [Coq-Club] Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*), Carsten Fuhs, 06/13/2025
- [Coq-Club] 1st CFP - CPP 2026 - Certified Programs and Proofs, nicolas tabareau, 06/16/2025
- [Coq-Club] Call for faculty positions at PUCV, Chile, Claudio Alonso Cubillos Figueroa, 06/17/2025
- [Coq-Club] DataMod 2025 - First Call for Papers, Ouadie Khebbeb, 06/17/2025
- [Coq-Club] CfP: REACTS'25 - International Workshop on Reconfigurable Transition Systems, Nov 10-11, 2025, José Proença, 06/18/2025
- [Coq-Club] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025, geoff, 06/20/2025
- [Coq-Club] ML Family Workshop 2025: extended deadline: July 3, Samuel Westrick, 06/20/2025
- [Coq-Club] POPL 2026 Call for Workshops, Ningning Xie, 06/24/2025
- [Coq-Club] Next-Generation Models for Generative AI, edprocess, 06/24/2025
- [Coq-Club] extended deadline (6th July): Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025, Valentin G. J. Herrmann, 06/26/2025
- [Coq-Club] CFP: Special Issue on “Bridging Formal Verification and Neural Networks: Ensuring Reliable Networked Systems” for Discover Networks (Springer Nature), Osman Hasan, 06/26/2025
Archive powered by MHonArc 2.6.19+.