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/11
20 mails
Chronological Thread << < page 1 / 1 > >>
- 23/11/01
- [Coq-Club] MathComp 1.18.0 released, Pierre Roux
- [Coq-Club] LPAR-25 in 2024 - Mauritius, geoff
- 23/11/03
- 23/11/04
- 23/11/08
- [Coq-Club] Postdoc position in Formal Methods at University of Exeter, Marmsoler, Diego
- [Coq-Club] ICALP-LICS-FSCD joint call for workshops, Sam Staton
- 23/11/09
- 23/11/13
- [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton
- [Coq-Club] POPL 2024 - Call for Participation - Early registration: 14 December, Donaldson, Alastair F
- 23/11/16
- 23/11/21
- [Coq-Club] Non obvious recursion (Convoy Pattern + Sigma Types + Equations), Agnishom Chattopadhyay
- 23/11/22
- Re: [Coq-Club] Non obvious recursion (Convoy Pattern + Sigma Types + Equations), Jason Hu
- Re: [Coq-Club] Non obvious recursion (Convoy Pattern + Sigma Types + Equations), Agnishom Chattopadhyay
- [Coq-Club] HoTT/UF 2024: 1st Call for Contributions, Tom de Jong
- [Coq-Club] FMBC 2024 - First Call for Papers, Marmsoler, Diego
- 23/11/24
- [Coq-Club] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024), Serge Autexier
- [Coq-Club] Postdoc in Inria Gallinette team, Nantes -- Compositional Automated Verification for OCaml, Guilhem Jaber
- [Coq-Club] Third Call for Contributions - FICS Workshop (submission deadline: 1st December 2023), Alexis Saurin
- 23/11/27
- [Coq-Club] IJCAR 2024: 2nd call for co-located events, Peter Lammich
- 23/11/29
Archive powered by MHonArc 2.6.19+.