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/12
23 mails
Chronological Thread << < page 1 / 1 > >>
- [Coq-Club] [TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming, Peter Achten, 11/30/2023
- [Coq-Club] FLOPS 2024: final call for abstracts and papers, Jeremy Gibbons, 11/30/2023
- [Coq-Club] fully qualified names in Print, Abhishek Anand, 12/01/2023
- [Coq-Club] Deadline extension for FICS Workshop (new deadline: 6/12/2023), Alexis Saurin, 12/01/2023
- [Coq-Club] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24), Kristopher K Micinski, 12/02/2023
- [Coq-Club] Engineer positions at Inria Paris: Rust Verification and Tooling, Aymeric Fromherz, 12/07/2023
- [Coq-Club] Two Postdoctoral Positions in Formal Methods, Orleans, France, Frederic Loulergue, 12/07/2023
- [Coq-Club] PLDI ’24 Artifact Evaluation Committee: Call for nominations, Ningning Xie, 12/08/2023
- [Coq-Club] Call for STSMs and ITC conference grants, deadline 7 January 2024, simona . k, 12/09/2023
- [Coq-Club] Certified Programs and Proofs (CPP'24) - Call for Participation, Sandrine Blazy, 12/10/2023
- [Coq-Club] JFLA 2024 - Inscriptions ouvertes, Delphine Demange, 12/11/2023
- [Coq-Club] ICFP 2024: Call for Workshops and Co-Located Events, ICFP Publicity, 12/12/2023
- [Coq-Club] ITP 2024: First Call for Papers, Yves Bertot, 12/12/2023
- [Coq-Club] CiE 2024: CALL FOR PAPERS, acie, 12/12/2023
- [Coq-Club] MetaCoq tutorial at POPL on Sunday, January 14th, Yannick Forster, 12/12/2023
- Re: [Coq-Club] MetaCoq tutorial at POPL on Sunday, January 14th, Yannick Forster, 12/21/2023
- Re: [Coq-Club] MetaCoq tutorial at POPL on Sunday, January 14th, Milad Ketabi, 12/22/2023
- Re: [Coq-Club] MetaCoq tutorial at POPL on Sunday, January 14th, Yannick Forster, 12/21/2023
- [Coq-Club] Fully-funded PhD positions at ISTA in the area of Programming Languages and Verification, Michael Sammler, 12/15/2023
- Re: [Coq-Club] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation, Jesper Cockx, 12/16/2023
- [Coq-Club] Lean Together 2024, Rob Lewis, 12/17/2023
- [Coq-Club] Interactions Between Proof Assistants and Mathematical Software at ICMS 2024 (call for abstracts), Alex J Best, 12/18/2023
- [Coq-Club] HoTT/UF 2024: 2nd Call for Contributions, Tom de Jong, 12/18/2023
- [Coq-Club] [CFP] 11th Workshop on Horn Clauses for Verification and Synthesis (HCVS), Daniel Neider, 12/20/2023
Archive powered by MHonArc 2.6.19+.