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
2022/12
31 mails
Chronological Thread << < page 1 / 2 > >>
- 22/12/01
- [Coq-Club] ICFP 2023: Call for Workshop and Co-Located Event, ICFP Publicity
- 22/12/04
- [Coq-Club] TFPIE 2023 call for submissions (deadline Dec 27th), Elena Machkasova
- 22/12/05
- [Coq-Club] Proper subset relation well-founded?, mukesh tiwari
- Re: [Coq-Club] Proper subset relation well-founded?, Dominique Larchey-Wendling
- Re: [Coq-Club] Proper subset relation well-founded?, mukesh tiwari
- Re: [Coq-Club] Proper subset relation well-founded?, mukesh tiwari
- Re: [Coq-Club] Proper subset relation well-founded?, Dominique Larchey-Wendling
- [Coq-Club] Opening for assistant professors w/tenure track at Aalborg University Copenhagen, Anders Schlichtkrull
- [Coq-Club] Certified Programs and Proofs (CPP) 2023: Call for Participation, Steve Zdancewic
- 22/12/07
- [Coq-Club] Call for STSMs, deadline 1 January 2023, Ambrus Kaposi
- [Coq-Club] Dutch FP Day - Call for participation, Swierstra, W.S. (Wouter)
- 22/12/08
- Re: [Coq-Club] Universe Polymorphism, Amin Timany
- Re: [Coq-Club] Universe Polymorphism, Helmut Brandl
- 22/12/09
- Re: [Coq-Club] Universe Polymorphism, Sylvain Boulmé
- Re: [Coq-Club] Universe Polymorphism, Gaëtan Gilbert
- [Coq-Club] Post-doc position in the Inria Gallinette team in Nantes, Guilhem Jaber
- 22/12/12
- [Coq-Club] POPL '23 Early Bird Registration ending Friday, Dec 16, Kristopher K Micinski
- [Coq-Club] PLDI 2023 Student Research Competition (SRC), PLDI 2023 Publicity Chairs
- 22/12/16
- [Coq-Club] RAMiCS 2023 - Call for short contributions / posters, Michael Winter
- 22/12/17
- 22/12/19
- 22/12/22
- [Coq-Club] Position in software dependability at the French space agency CNES - Toulouse, Danko Ilik
- [Coq-Club] JFLA 2023 - Registration Open, Timothy Bourke
- [Coq-Club] Proof about permutation, mukesh tiwari
- Re: [Coq-Club] Proof about permutation, Marko Doko
- Re: [Coq-Club] Proof about permutation, mukesh tiwari
- Re: [Coq-Club] Proof about permutation, Marko Doko
- [Coq-Club] question about developing and instantiating Coq libraries, Andrei Popescu
Archive powered by MHonArc 2.6.19+.