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/03
31 mails
Chronological Thread << < page 1 / 2 > >>
- 23/02/22
- 23/02/27
- [Coq-Club] HOR 2023: Call for Papers, Carsten Fuhs
- [Coq-Club] CfP Reliability, safety and security of railway systems (RSSRail 2023), Alexander Romanovsky
- 23/03/01
- 23/03/02
- 23/03/03
- 23/03/04
- [Coq-Club] PhD position at Inria / Nantes Université (France), Assia Mahboubi
- 23/03/06
- [Coq-Club] PhD Studentships in Formalising CS/Maths at King's College London, Mohammad Abdulaziz
- [Coq-Club] TYPES 2023: Call for Contributions - Deadline extension, Alicia Villanueva
- 23/03/07
- [Coq-Club] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering, Andrei Chis
- [Coq-Club] Announce: Summer School about the use of Proof Assistants for Teaching PAT2023, Julien Narboux
- [Coq-Club] Call for papers SC-square 2023, Erika Abraham
- [Coq-Club] LPAR 2023 Call for Workshops and Tutorials, geoff
- 23/03/08
- [Coq-Club] UNIF 2023 Second Call for Papers, Christophe Ringeissen
- 23/03/09
- [Coq-Club] TAP 2023 CfP: extended deadline, Virgile Prevosto
- [Coq-Club] ITP 2024 - Call for Bids, Thiemann , René
- 23/03/10
- [Coq-Club] PhD or Postdoc Position at LMU Munich about Verified Modal Logics, Andrei Popescu
- [Coq-Club] LOPSTR 2023 - Call for Papers, daniel . jurjo
- 23/03/11
- 23/03/14
- 23/03/16
- [Coq-Club] Call for Papers, Functional Software Architecture - FP in the Large, Graham Hutton
- [Coq-Club] Utrecht Summer School on Advanced Functional Programming 2023, Swierstra, W.S. (Wouter)
- [Coq-Club] ITP 2023: Call for Workshop and Tutorial Proposals, Thiemann , René
- 23/03/18
- [Coq-Club] TABLEAUX 2023 - FIRST CALL FOR PAPERS, Josef Urban
- 23/03/20
- [Coq-Club] [ANN] Bignums release 9.0.0, Pierre Roux
- 23/03/21
Archive powered by MHonArc 2.6.19+.