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