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
2024/04
31 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] LPAR 2024 short presentation papers - CFP, geoff, 04/02/2024
- [Coq-Club] iFM 2024 Call for Papers, geoff, 04/02/2024
- [Coq-Club] [WiL] Women in Logic 2024 -- 2nd call for papers, Tephilla Prince, 04/02/2024
- [Coq-Club] PLDI 2024 - Call for Participation (Early registration: May 15), Yao Li, 04/03/2024
- [Coq-Club] 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation, Marmsoler, Diego, 04/03/2024
- [Coq-Club] PAAR 2024 - Call for Papers - Extended Deadlines, geoff, 04/03/2024
- [Coq-Club] McCune PhD Award, Bledsoe IJCAR Travel Awards, geoff, 04/04/2024
- [Coq-Club] ICFP Programming Contest 2024, ICFP Contest 2024, 04/07/2024
- [Coq-Club] Ackermann Award: First call for nominations - Deadline 1st July, Maribel Fernandez, 04/07/2024
- [Coq-Club] Agda Implementors' Meeting XXXVIII: Call for talks and participation, mukesh tiwari, 04/08/2024
- [Coq-Club] IJCAR: Woody Bledsoe Award: Call for Nominations, Peter Lammich, 04/08/2024
- [Coq-Club] IFL 2024: First call for papers, Mart Lubbers, 04/09/2024
- [Coq-Club] HOPE 2024: Call for Papers, Guilhem Jaber, 04/09/2024
- [Coq-Club] Postdoc in proof theory, University of Birmingham, 2 years - deadline 30 April, Anupam das, 04/09/2024
- [Coq-Club] UNIF 2024 - 2nd Call for Papers (Extended Deadline), Oliver Fernandez Gil, 04/09/2024
- [Coq-Club] Fwd: formal Mechanics, Alex Shkotin, 04/10/2024
- [Coq-Club] SAT/SMT/AR 2024: International Summer School, geoff, 04/11/2024
- [Coq-Club] Iris 4.2 and std++ 1.10, Ralf Jung, 04/12/2024
- [Coq-Club] Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris), Alexis Saurin, 04/12/2024
- [Coq-Club] Coq User and Developer Workshop 2024, Pierre-Marie Pédrot, 04/12/2024
- [Coq-Club] Regarding the performance of an extracted OCaml code from a Coq formalisation, mukesh tiwari, 04/16/2024
- Re: [Coq-Club] Regarding the performance of an extracted OCaml code from a Coq formalisation, Jim Fehrle, 04/16/2024
- Re: [Coq-Club] Regarding the performance of an extracted OCaml code from a Coq formalisation, Frédéric Blanqui, 04/16/2024
- Re: [Coq-Club] Regarding the performance of an extracted OCaml code from a Coq formalisation, Xavier Leroy, 04/17/2024
- [Coq-Club] VST 2.14 announcement, Andrew W. Appel, 04/16/2024
- [Coq-Club] Announcing VST 3.0beta, Mansky, William, 04/16/2024
- [Coq-Club] LMW@LICS and ICALP '24 - Call for participation and scholarship applications, Marie Kerjean, 04/16/2024
- [Coq-Club] [WiL] Women in Logic 2024 -- Final call for papers, Tephilla Prince, 04/18/2024
- [Coq-Club] IJCAR 2024: Call for Participation, Peter Lammich, 04/18/2024
- [Coq-Club] TYPES 2024: Call for Participation, Patrick Bahr, 04/18/2024
Archive powered by MHonArc 2.6.19+.