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/03
41 mails
Chronological Thread << < page 2 / 2 > >>
- [Coq-Club] Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31), Achim D. Brucker, 03/20/2024
- [Coq-Club] [PPDP'2024 CfP] The 26th International Symposium on Principles and Practice of Declarative Programming Call for Papers, Alessandro Bruni, 03/20/2024
- [Coq-Club] FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck, Luigia Petre, 03/22/2024
- [Coq-Club] Annals of Formalized Mathematics, Rob Lewis, 03/22/2024
- [Coq-Club] Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC), Benoit Montagu, 03/25/2024
- [Coq-Club] TyDe 2024: First call for papers and extended abstracts, Jesper Cockx, 03/25/2024
- [Coq-Club] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024), Serge Autexier, 03/26/2024
- [Coq-Club] ISR 2024: Call for Participation, Thiemann , René, 03/26/2024
- [Coq-Club] LSFA 2024: CALL FOR PAPERS, Cynthia Kop, 03/27/2024
- [Coq-Club] CICM 2024 - Extended deadline - Call for Papers, geoff, 03/28/2024
- [Coq-Club] PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18), Achim D. Brucker, 03/30/2024
Archive powered by MHonArc 2.6.19+.