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 > >>
- 24/04/02
- 24/04/03
- 24/04/04
- 24/04/07
- [Coq-Club] ICFP Programming Contest 2024, ICFP Contest 2024
- [Coq-Club] Ackermann Award: First call for nominations - Deadline 1st July, Maribel Fernandez
- 24/04/08
- 24/04/09
- [Coq-Club] IFL 2024: First call for papers, Mart Lubbers
- [Coq-Club] HOPE 2024: Call for Papers, Guilhem Jaber
- [Coq-Club] Postdoc in proof theory, University of Birmingham, 2 years - deadline 30 April, Anupam das
- [Coq-Club] UNIF 2024 - 2nd Call for Papers (Extended Deadline), Oliver Fernandez Gil
- 24/04/10
- [Coq-Club] Fwd: formal Mechanics, Alex Shkotin
- 24/04/11
- 24/04/12
- [Coq-Club] Iris 4.2 and std++ 1.10, Ralf Jung
- [Coq-Club] Three Post-doc positions in RECIPROG project (located in France -- Lyon, Nantes and Paris), Alexis Saurin
- [Coq-Club] Coq User and Developer Workshop 2024, Pierre-Marie Pédrot
- 24/04/16
- [Coq-Club] Regarding the performance of an extracted OCaml code from a Coq formalisation, mukesh tiwari
- [Coq-Club] VST 2.14 announcement, Andrew W. Appel
- [Coq-Club] Announcing VST 3.0beta, Mansky, William
- [Coq-Club] LMW@LICS and ICALP '24 - Call for participation and scholarship applications, Marie Kerjean
- Re: [Coq-Club] Regarding the performance of an extracted OCaml code from a Coq formalisation, Jim Fehrle
- Re: [Coq-Club] Regarding the performance of an extracted OCaml code from a Coq formalisation, Frédéric Blanqui
- 24/04/17
- 24/04/18
- [Coq-Club] [WiL] Women in Logic 2024 -- Final call for papers, Tephilla Prince
- [Coq-Club] IJCAR 2024: Call for Participation, Peter Lammich
- [Coq-Club] TYPES 2024: Call for Participation, Patrick Bahr
Archive powered by MHonArc 2.6.19+.