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/11
23 mails
Chronological Thread << < page 1 / 1 > >>
- 24/11/04
- [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton
- [Coq-Club] PhD studentships at the University of Strathclyde, Fredrik Nordvall Forsberg
- [Coq-Club] CADE-30 Call for Colocated Events: **deadline November 11th**, geoff
- 24/11/05
- [Coq-Club] PriSC @ POPL'25: Extended deadline, PriSC PC Chairs
- 24/11/06
- [Coq-Club] Termination checker rejecting equivalent functions, Elias Castegren
- Re: [Coq-Club] Termination checker rejecting equivalent functions, Dominique Larchey-Wendling
- 24/11/07
- 24/11/08
- [Coq-Club] PLDI 2025: Tutorial proposals due Nov 14/24, Clément Pit-Claudel
- 24/11/12
- [Coq-Club] Final Call for Papers: FORMALISE 2025 - EXTENDED DEADLINES, Gwen Salaün
- [Coq-Club] POPL25 Student Volunteers: deadline extension, Ayoun, Sacha-Elie
- 24/11/15
- 24/11/18
- [Coq-Club] Tenure-track Openings at Max Planck Institutes in Computer Science, Catalin Hritcu
- [Coq-Club] Postdoc in Chambéry, Tom Hirschowitz
- 24/11/20
- 24/11/22
- 24/11/23
- [Coq-Club] PLDI’25 Artifact Evaluation Committee: Call for nominations, Konstantinos Kallas
- [Coq-Club] Seeking Tenured/Tenure-Track Faculty in PL/Compilers, Sullivan, Kevin J (kjs5d)
- 24/11/26
- 24/11/27
- [Coq-Club] CfP: DisCoTec 2025, Bas van den Heuvel
- 24/11/28
- [Coq-Club] MathComp 2.3.0 released, Laurent Thery
Archive powered by MHonArc 2.6.19+.