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 > >>
- 24/03/04
- [Coq-Club] Midlands Graduate School (MGS), Graham Hutton
- [Coq-Club] HoTT/UF 2024: Registration closing soon, Tom de Jong
- [Coq-Club] Coq 8.19.1, Gaëtan Gilbert
- 24/03/05
- 24/03/06
- 24/03/07
- 24/03/11
- [Coq-Club] ICFP 2024: Call for Tutorials, ICFP Publicity
- [Coq-Club] Call for Papers - DAV 2024, Alex Sanchez-Stern
- [Coq-Club] AITP 2024 - Call for Contributions, Josef Urban
- 24/03/12
- 24/03/13
- [Coq-Club] on coinductive extensionality, Burak Ekici
- [Coq-Club] Call for Papers: ACM Workshop on Functional Software Architecture, Michael Sperber
- Re: [Coq-Club] on coinductive extensionality, Meven Lennon-Bertrand
- Re: [Coq-Club] on coinductive extensionality, Arthur Azevedo de Amorim
- [Coq-Club] FUNARCH 2024: Call for Papers, ICFP Publicity
- 24/03/14
- [Coq-Club] Postdoc position at the University of Strathclyde, Fredrik Nordvall Forsberg
- 24/03/15
- [Coq-Club] 1st cfp of SEFM'24, Alexandre Madeira
- [Coq-Club] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024), Serge Autexier
- [Coq-Club] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent, Vineet Rajani
- [Coq-Club] Call for Papers -- Call for Papers, Umar Farooq
- 24/03/16
- [Coq-Club] Agda Implementors' Meeting XXXVIII: Call for talks and participation, mukesh tiwari
- [Coq-Club] Postdoc positions in Reykjavik, Tarmo Uustalu
- 24/03/18
- [Coq-Club] PhD at Utrecht, Paige Randall North
- 24/03/19
- [Coq-Club] Utrecht Summer School on Advanced Functional Programming, Wouter Swierstra
- 24/03/20
Archive powered by MHonArc 2.6.19+.