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/03
31 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] Midlands Graduate School (MGS), Graham Hutton, 03/04/2024
- [Coq-Club] HoTT/UF 2024: Registration closing soon, Tom de Jong, 03/04/2024
- [Coq-Club] Coq 8.19.1, Gaëtan Gilbert, 03/04/2024
- [Coq-Club] ITP 2024, Interactive Theorem Proving: Last Call For Papers, Yves Bertot, 03/05/2024
- [Coq-Club] TYPES 2024: Call for Contributions - Deadline extension, Patrick Bahr, 03/05/2024
- [Coq-Club] International Logic Olympiad, geoff, 03/05/2024
- [Coq-Club] PLMW@PLDI 2024: Call for Scholarship Applications, Yao Li, 03/05/2024
- [Coq-Club] IJCAR 2024 Workshops, geoff, 03/06/2024
- [Coq-Club] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr), Favonia, 03/07/2024
- [Coq-Club] ESOP 2025 Call For Papers, jan . kofron, 03/07/2024
- [Coq-Club] ICFP 2024: Call for Tutorials, ICFP Publicity, 03/11/2024
- [Coq-Club] Call for Papers - DAV 2024, Alex Sanchez-Stern, 03/11/2024
- [Coq-Club] AITP 2024 - Call for Contributions, Josef Urban, 03/11/2024
- [Coq-Club] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024, xu, 03/12/2024
- [Coq-Club] on coinductive extensionality, Burak Ekici, 03/13/2024
- Re: [Coq-Club] on coinductive extensionality, Meven Lennon-Bertrand, 03/13/2024
- Re: [Coq-Club] on coinductive extensionality, Arthur Azevedo de Amorim, 03/13/2024
- [Coq-Club] Call for Papers: ACM Workshop on Functional Software Architecture, Michael Sperber, 03/13/2024
- [Coq-Club] FUNARCH 2024: Call for Papers, ICFP Publicity, 03/13/2024
- [Coq-Club] Postdoc position at the University of Strathclyde, Fredrik Nordvall Forsberg, 03/14/2024
- [Coq-Club] 1st cfp of SEFM'24, Alexandre Madeira, 03/15/2024
- [Coq-Club] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024), Serge Autexier, 03/15/2024
- [Coq-Club] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent, Vineet Rajani, 03/15/2024
- [Coq-Club] Call for Papers -- Call for Papers, Umar Farooq, 03/15/2024
- [Coq-Club] Agda Implementors' Meeting XXXVIII: Call for talks and participation, mukesh tiwari, 03/16/2024
- [Coq-Club] Postdoc positions in Reykjavik, Tarmo Uustalu, 03/16/2024
- [Coq-Club] PhD at Utrecht, Paige Randall North, 03/18/2024
- [Coq-Club] Utrecht Summer School on Advanced Functional Programming, Wouter Swierstra, 03/19/2024
- [Coq-Club] Final CFP: Formal Methods and Programming Languages Track at CCS'24, Catalin Hritcu, 03/20/2024
- [Coq-Club] Call for ITC conference grants, deadline 1 May 2024, Ambrus Kaposi, 03/20/2024
Archive powered by MHonArc 2.6.19+.