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/04
29 mails
Chronological Thread << < page 1 / 1 > >>
- 23/04/01
- 23/04/03
- [Coq-Club] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK, vincent rahli
- [Coq-Club] IFL23 first CFP, Pieter Koopman
- [Coq-Club] TyDe 2023 - Call for Papers, Youyou Cong
- [Coq-Club] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023, xu
- 23/04/04
- [Coq-Club] APLAS 2023 first Call for Papers, Sato, Ryosuke
- [Coq-Club] SYNASC 2023 - Second Call for Papers, SYNASC 2023
- 23/04/05
- [Coq-Club] Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation, Christopher Michael POSKITT
- [Coq-Club] SEFM 2023: First Call for Papers, Willemse, Tim
- 23/04/12
- 23/04/13
- 23/04/14
- 23/04/16
- 23/04/17
- 23/04/18
- [Coq-Club] Manual proof terms definitions and typechecking, Matthieu Baty
- Re: [Coq-Club] Manual proof terms definitions and typechecking, Gaëtan Gilbert
- 23/04/20
- [Coq-Club] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield, Andrei Popescu
- Re: [Coq-Club] Manual proof terms definitions and typechecking, Matthieu Baty
- Re: [Coq-Club] Manual proof terms definitions and typechecking, Gaëtan Gilbert
- 23/04/21
- [Coq-Club] HOR 2023: Second Call for Papers, Carsten Fuhs
- 23/04/22
- 23/04/24
- 23/04/25
- 23/04/28
- [Coq-Club] AITP 2023 - Second Call for Contributions, Josef Urban
- 23/04/29
- [Coq-Club] Second Call for Papers SETS 2023 (Deadline Extended), David Delahaye
Archive powered by MHonArc 2.6.19+.