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
2023/05
31 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] SYNASC 2023 - Second Call for Papers, SYNASC 2023, 04/29/2023
- <Possible follow-up(s)>
- [Coq-Club] SYNASC 2023 - Second Call for Papers, SYNASC 2023, 05/09/2023
- [Coq-Club] Special Issue on Dynamic Logics at JLAP - Deadline Extension, Carlos Areces, 05/01/2023
- [Coq-Club] [CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date!, Enrico Tassi, 05/03/2023
- [Coq-Club] HOR 2023: Final Call for Papers (extended deadline: 9 May 2023 AoE), Carsten Fuhs, 05/04/2023
- [Coq-Club] LICS 2023 Call for Participation, Sam Staton, 05/06/2023
- [Coq-Club] TYPES 23 - Call for Participation, Eduardo Hermo Reyes, 05/08/2023
- [Coq-Club] LOPSTR 2023 (Lisbon) - Final Call for Papers - Paper Deadline: May 26, 2023., daniel . jurjo, 05/09/2023
- [Coq-Club] 7th Vampire workshop - Call for Papers, geoff, 05/09/2023
- [Coq-Club] TABLEAUX 2023 - FINAL CALL FOR PAPERS (DEADLINE EXTENDED 21 MAY 2023), Josef Urban, 05/09/2023
- [Coq-Club] MathComp 1.17.0 released, AffeldtReynald, 05/10/2023
- [Coq-Club] PPDP 2023 Final Call for Papers, Mario Florido, 05/10/2023
- [Coq-Club] 2nd Women in EuroProofNet - Call for contributions and participation, Sandra Alves, 05/10/2023
- [Coq-Club] CiE 2023: CALL FOR PARTICIPATION - CALL FOR INFORMAL PRESENTATIONS, acie, 05/10/2023
- [Coq-Club] LPAR-24 (June 2023) - Call for Short Papers, geoff, 05/10/2023
- [Coq-Club] GCM '23: Deadline Extension, Jens Kosiol, 05/10/2023
- [Coq-Club] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023, xu, 05/10/2023
- [Coq-Club] 14th IWIL workshop, FINAL CALL FOR PAPERS: 2nd Round Deadline May 15th AoE 2023, geoff, 05/11/2023
- [Coq-Club] APLAS 2023: Second Call for Papers, Sato, Ryosuke, 05/12/2023
- [Coq-Club] FroCoS 2023 deadline extension, geoff, 05/12/2023
- [Coq-Club] CADE-29 CALL FOR PARTICIPATION, geoff, 05/14/2023
- [Coq-Club] Ackermann Award: Second call for nominations - Deadline 1st July, Maribel Fernandez, 05/14/2023
- [Coq-Club] MathComp 2.0.0 released, Pierre Roux, 05/15/2023
- [Coq-Club] 2nd Call for Papers - Agents and Robots for reliable Engineered Autonomy (AREA2023@ECAI2023), C Mu, 05/15/2023
- [Coq-Club] ICFP 2023: Call for Tutorial, Panel, and Discussion Proposals, ICFP Publicity, 05/15/2023
- [Coq-Club] 2nd Call for presentations: 2023 Coq workshop, Yves Bertot, 05/16/2023
- [Coq-Club] 2-year engineering position at Inria Paris-Saclay, Sylvie Boldo, 05/17/2023
- [Coq-Club] Lectureship in Swansea, Cécilia Pradic, 05/18/2023
- [Coq-Club] Turning Non-Primitive Recursive Function into Primitive Recursive Function, mukesh tiwari, 05/18/2023
- Re: [Coq-Club] Turning Non-Primitive Recursive Function into Primitive Recursive Function, Yannick Forster, 05/18/2023
Archive powered by MHonArc 2.6.19+.