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/06
31 mails
Chronological Thread << < page 1 / 2 > >>
- 23/05/29
- [Coq-Club] SYNASC 2023 - Final Call for Papers, SYNASC 2023
- 23/05/31
- 23/06/01
- [Coq-Club] ITP 2023 Call for Participation, Thiemann , René
- 23/06/02
- [Coq-Club] Call for volunteer maintainers of CoqIDE, Théo Zimmermann
- [Coq-Club] TyDe 2023 - Second Call for Papers and Deadline Extension, Youyou Cong
- [Coq-Club] Call for Participation -- LFMTP 2023, Carlos Olarte
- 23/06/03
- 23/06/04
- [Coq-Club] Overloaded notations in Coq, Kyle Stemen
- 23/06/05
- [Coq-Club] Call for Participation :: ICGT'23 (16th International Conference on Graph Transformation), Christopher Michael POSKITT
- [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton
- 23/06/06
- [Coq-Club] Interactions of Proof Assistants and Mathematics,International Summer School - Registration deadline 9 June 2023, Julie CAILLER
- [Coq-Club] POPL 2024: Call for Workshops and Co-located Events, Donaldson, Alastair F
- Re: [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Marie Kerjean
- 23/06/07
- [Coq-Club] Assistant/Associate professor role at Radboud University, Wouter Swierstra
- 23/06/08
- [Coq-Club] APLAS 2023: Final Call for Papers, Sato, Ryosuke
- 23/06/09
- 23/06/10
- 23/06/11
- 23/06/12
- 23/06/13
- 23/06/14
- [Coq-Club] APLAS 2023: Deadline Extension, Sato, Ryosuke
- [Coq-Club] SYNASC 2023 - Final Call for Papers, SYNASC 2023
- 23/06/15
- 23/06/16
- 23/06/19
- [Coq-Club] IFL23 2nd Call for papers, Pieter Koopman
- 23/06/23
- [Coq-Club] POPL 2024: Final Call for Papers, Donaldson, Alastair F
Archive powered by MHonArc 2.6.19+.