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 > >>
- [Coq-Club] SYNASC 2023 - Final Call for Papers, SYNASC 2023, 05/29/2023
- <Possible follow-up(s)>
- [Coq-Club] SYNASC 2023 - Final Call for Papers, SYNASC 2023, 06/14/2023
- [Coq-Club] [Call for Participation] LSFA 2023 (early registration May 31), D. Ventura, 05/31/2023
- [Coq-Club] HOR 2023: Call for Participation, Carsten Fuhs, 05/31/2023
- [Coq-Club] ITP 2023 Call for Participation, Thiemann , René, 06/01/2023
- [Coq-Club] Call for volunteer maintainers of CoqIDE, Théo Zimmermann, 06/02/2023
- [Coq-Club] TyDe 2023 - Second Call for Papers and Deadline Extension, Youyou Cong, 06/02/2023
- [Coq-Club] Call for Participation -- LFMTP 2023, Carlos Olarte, 06/02/2023
- [Coq-Club] 2nd Women in EuroProofNet - DEADLINE EXTENSION, Sandra Alves, 06/03/2023
- [Coq-Club] Overloaded notations in Coq, Kyle Stemen, 06/04/2023
- [Coq-Club] Call for Participation :: ICGT'23 (16th International Conference on Graph Transformation), Christopher Michael POSKITT, 06/05/2023
- [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton, 06/05/2023
- Re: [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Marie Kerjean, 06/06/2023
- [Coq-Club] Interactions of Proof Assistants and Mathematics,International Summer School - Registration deadline 9 June 2023, Julie CAILLER, 06/06/2023
- [Coq-Club] POPL 2024: Call for Workshops and Co-located Events, Donaldson, Alastair F, 06/06/2023
- [Coq-Club] Assistant/Associate professor role at Radboud University, Wouter Swierstra, 06/07/2023
- [Coq-Club] APLAS 2023: Final Call for Papers, Sato, Ryosuke, 06/08/2023
- [Coq-Club] Call for TYPES 2025 location, Henning Basold, 06/09/2023
- [Coq-Club] FM Teaching Tutorial on June 16, 3 pm CEST: Prof. Laura Kovács, Vienna University of Technology, Austria: Teaching Formal Reasoning at TU Wien, Luigia Petre, 06/09/2023
- [Coq-Club] Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for Participation, Cynthia Kop, 06/10/2023
- [Coq-Club] [ICTAC 2023] Final call for papers – New deadlines 25 June (abstract), 02 July (paper), Violet Ka I Pun, 06/11/2023
- [Coq-Club] Call for Participation :: STAF'23 (Software Technologies: Applications and Foundations), Christopher Michael POSKITT, 06/12/2023
- [Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2023, Carsten Fuhs, 06/12/2023
- [Coq-Club] Last Call: International Workshop: Constructive Mathematical Analysis, iwcma, 06/13/2023
- [Coq-Club] Summer School on Reactive Synthesis + Workshop on Synthesis, Monitoring and Learning at University of Udine, Dario Della Monica, 06/13/2023
- [Coq-Club] APLAS 2023: Deadline Extension, Sato, Ryosuke, 06/14/2023
- [Coq-Club] Research Associate position at the University of Glasgow, Ornela Dardha, 06/15/2023
- [Coq-Club] 2nd CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering, Andrei Chis, 06/16/2023
- [Coq-Club] IFL23 2nd Call for papers, Pieter Koopman, 06/19/2023
- [Coq-Club] POPL 2024: Final Call for Papers, Donaldson, Alastair F, 06/23/2023
Archive powered by MHonArc 2.6.19+.