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/02
44 mails
Chronological Thread << < page 2 / 2 > >>
- [Coq-Club] HoTT/UF 2024: Registration, Tom de Jong, 02/19/2024
- [Coq-Club] Distinguished Postdoctoral Fellowship at Northeastern, Amal Ahmed, 02/20/2024
- [Coq-Club] Types 2024, call for contributions, Rasmus Ejlers Møgelberg, 02/20/2024
- [Coq-Club] Bill McCune PhD Award in Automated Reasoning 2024 Call for Nominations, geoff, 02/20/2024
- [Coq-Club] Call for STSMs and ITC conference grants, deadline 17 March 2024, Ambrus Kaposi, 02/22/2024
- [Coq-Club] PhD position at the University of Copenhagen, Dmitriy Traytel, 02/22/2024
- [Coq-Club] CiE 2024: CALL FOR PAPERS, acie, 02/23/2024
- [Coq-Club] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line, Luigia Petre, 02/23/2024
- [Coq-Club] ITP 2024: Call for Workshop and Tutorial Proposals, Besik Dundua, 02/24/2024
- [Coq-Club] TYPES 2024 - Call for Contributions, Patrick Bahr, 02/25/2024
- [Coq-Club] Job offer / Researcher-Engineer / Inria & LMF, Saclay, France, Claude Marche, 02/26/2024
- [Coq-Club] new releases of hol2dk and coq-hol-light, Frédéric Blanqui, 02/28/2024
- [Coq-Club] Interactive theorem proving internship at AWS Cambridge, UK, Dominic Mulligan, 02/28/2024
- [Coq-Club] LPAR-25, Call for Short Presentation Papers, geoff, 02/28/2024
Archive powered by MHonArc 2.6.19+.