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 > >>
- [Coq-Club] PLMW@PLDI 2024: Call for Lightning Talks on Research Group Openings, Yao Li, 05/21/2024
- [Coq-Club] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024, Serge Autexier, 05/22/2024
- [Coq-Club] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024, Serge Autexier, 05/23/2024
- [Coq-Club] Final CfP: ACM Workshop on Functional Software Architecture [Deadline June 3], Michael Sperber, 05/23/2024
- [Coq-Club] SYNASC 2024 - Final CFP, SYNASC 2024, 05/23/2024
- [Coq-Club] HOPE '24: Second CFP, Max New, 05/23/2024
- Re: [Coq-Club] Coq Workshop 2024 call for presentations, Clément Pit-Claudel, 05/24/2024
- [Coq-Club] [DEADLINE EXTENDED | DATE CHANGED] Coq Workshop 2024 call for presentations, Théo Winterhalter, 05/31/2024
- [Coq-Club] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2024, Carsten Fuhs, 05/24/2024
- [Coq-Club] seeking Coq users for an observational study, Jessica Shi, 05/24/2024
- [Coq-Club] PhD Positions Available at the University of Lille – Starting September 2024, David Nowak, 05/24/2024
- [Coq-Club] PLMW@ICFP'24: Call for Participation (travel funding application by June 21), Ningning Xie, 05/24/2024
- [Coq-Club] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024, xu, 05/27/2024
- [Coq-Club] PhD position in program verification at Radboud University Nijmegen, Robbert Krebbers, 05/28/2024
- [Coq-Club] TyDe 2024: (EXTENDED DEADLINE: Monday 3 Jun 2024 (AoE)), Sandra Alves, 05/29/2024
- [Coq-Club] Ackermann Award: Call for nominations - Deadline approaching - 1st July, Maribel Fernandez, 05/29/2024
- [Coq-Club] Looking for PostDoc in the Formally Verified Security group at MPI-SP, Catalin Hritcu, 05/30/2024
- [Coq-Club] 2nd CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering, Andrei Chis, 05/31/2024
- [Coq-Club] ANN: coq-lsp 0.1.9, Emilio Jesús Gallego Arias, 05/31/2024
Archive powered by MHonArc 2.6.19+.