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 > >>
- [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton, 11/04/2024
- [Coq-Club] PhD studentships at the University of Strathclyde, Fredrik Nordvall Forsberg, 11/04/2024
- [Coq-Club] CADE-30 Call for Colocated Events: **deadline November 11th**, geoff, 11/04/2024
- [Coq-Club] PriSC @ POPL'25: Extended deadline, PriSC PC Chairs, 11/05/2024
- [Coq-Club] Termination checker rejecting equivalent functions, Elias Castegren, 11/06/2024
- Re: [Coq-Club] Termination checker rejecting equivalent functions, Dominique Larchey-Wendling, 11/06/2024
- [Coq-Club] POPL 2025 Student Research Competition Call for Submissions, Ralf Jung, 11/07/2024
- Re: [Coq-Club] POPL 2025 Student Research Competition Call for Submissions, Ralf Jung, 11/07/2024
- [Coq-Club] [POPL25] Reminder: Call for student volunteers, Ayoun, Sacha-Elie, 11/07/2024
- [Coq-Club] PLDI 2025: Tutorial proposals due Nov 14/24, Clément Pit-Claudel, 11/08/2024
- [Coq-Club] Final Call for Papers: FORMALISE 2025 - EXTENDED DEADLINES, Gwen Salaün, 11/12/2024
- [Coq-Club] POPL25 Student Volunteers: deadline extension, Ayoun, Sacha-Elie, 11/12/2024
- [Coq-Club] PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK), Nicolai Kraus, 11/15/2024
- [Coq-Club] Tenure-track Openings at Max Planck Institutes in Computer Science, Catalin Hritcu, 11/18/2024
- [Coq-Club] Postdoc in Chambéry, Tom Hirschowitz, 11/18/2024
- [Coq-Club] POPL 2025 Call for Participation - Early registration: 20 December, Ningning Xie, 11/20/2024
- [Coq-Club] Job: Lecturer/Senior Lecturer in Mathematically Structured Programming at Strathclyde, Guillaume Allais, 11/22/2024
- [Coq-Club] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2025, Bas van den Heuvel, 11/22/2024
- [Coq-Club] PLDI’25 Artifact Evaluation Committee: Call for nominations, Konstantinos Kallas, 11/23/2024
- [Coq-Club] Seeking Tenured/Tenure-Track Faculty in PL/Compilers, Sullivan, Kevin J (kjs5d), 11/23/2024
- [Coq-Club] Workshop on Theorem Proving and Machine Learning, geoff, 11/26/2024
- [Coq-Club] CfP: DisCoTec 2025, Bas van den Heuvel, 11/27/2024
- [Coq-Club] MathComp 2.3.0 released, Laurent Thery, 11/28/2024
Archive powered by MHonArc 2.6.19+.