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/05
49 mails
Chronological Thread << < page 2 / 2 > >>
- 24/05/21
- 24/05/22
- 24/05/23
- [Coq-Club] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024, Serge Autexier
- [Coq-Club] Final CfP: ACM Workshop on Functional Software Architecture [Deadline June 3], Michael Sperber
- [Coq-Club] SYNASC 2024 - Final CFP, SYNASC 2024
- [Coq-Club] HOPE '24: Second CFP, Max New
- 24/05/24
- Re: [Coq-Club] Coq Workshop 2024 call for presentations, Clément Pit-Claudel
- [Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2024, Carsten Fuhs
- [Coq-Club] seeking Coq users for an observational study, Jessica Shi
- [Coq-Club] PhD Positions Available at the University of Lille – Starting September 2024, David Nowak
- [Coq-Club] PLMW@ICFP'24: Call for Participation (travel funding application by June 21), Ningning Xie
- 24/05/27
- 24/05/28
- 24/05/29
- 24/05/30
- 24/05/31
- [Coq-Club] [DEADLINE EXTENDED | DATE CHANGED] Coq Workshop 2024 call for presentations, Théo Winterhalter
- [Coq-Club] 2nd CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering, Andrei Chis
- [Coq-Club] ANN: coq-lsp 0.1.9, Emilio Jesús Gallego Arias
Archive powered by MHonArc 2.6.19+.