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
2022/07
26 mails
Chronological Thread << < page 1 / 1 > >>
- [Coq-Club] Call for Papers: Unsound - Sources of Unsoundness in Verification, Jan Bessai, 07/01/2022
- [Coq-Club] EuroProofNet WG2 kickoff meeting, geoff, 07/03/2022
- [Coq-Club] CFA International Symposium on ARC, ARC Info UVT, 07/03/2022
- [Coq-Club] SPLASH 2022 - Combined Call For Contributions, Andreea Costea, 07/06/2022
- [Coq-Club] CICM 2022, final call for applications to the doctoral programme, 15. July 2022, Serge Autexier, 07/06/2022
- [Coq-Club] Certified Symbolic-Numeric Computation, Assia Mahboubi, 07/07/2022
- [Coq-Club] FormalV 1.0.0 released, mireia.gbedmar, 07/11/2022
- Re: [Coq-Club] FormalV 1.0.0 released, Adam Chlipala, 07/11/2022
- [Coq-Club] Call for talks/participation - EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs, Frédéric Blanqui, 07/12/2022
- [Coq-Club] Reasoning about the complexity of Coq functions, mukesh tiwari, 07/12/2022
- Re: [Coq-Club] Reasoning about the complexity of Coq functions, Lasse Blaauwbroek, 07/12/2022
- Re: [Coq-Club] Reasoning about the complexity of Coq functions, Qinshi Wang, 07/13/2022
- Re: [Coq-Club] Reasoning about the complexity of Coq functions, Yao Li, 07/13/2022
- Re: [Coq-Club] Reasoning about the complexity of Coq functions, mukesh tiwari, 07/14/2022
- [Coq-Club] GPCE 2022 Second Call for Papers, Youyou Cong, 07/13/2022
- [Coq-Club] ETAPS 2023 1st joint call for papers, Jan Kofron, 07/13/2022
- [Coq-Club] Soliciting nominations for the POPL 2023 Artifact Evaluation Committee, Leonidas Lampropoulos, 07/13/2022
- [Coq-Club] Call for participation DaLí 2022, Carlos Areces, 07/13/2022
- [Coq-Club] 2nd CFP - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages, Pieter Koopman, 07/15/2022
- [Coq-Club] Assistant Professorships at Heriot-Watt University, Stark, Kathrin, 07/26/2022
- [Coq-Club] Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022, Orestis Melkonian, 07/26/2022
- [Coq-Club] Postdoc and PhD positions at the University of Birmingham, vincent rahli, 07/29/2022
- [Coq-Club] Simplifying pattern matching, Wendlasida Ouedraogo, 07/30/2022
- Re: [Coq-Club] Simplifying pattern matching, mukesh tiwari, 07/30/2022
- Re: [Coq-Club] recompiling coq libraries on recompiling coq, Abhishek Anand, 07/31/2022
- [Coq-Club] PhD and Postdoctoral positions in Formal Methods for AI, Ekaterina Komendantskaya, 07/31/2022
Archive powered by MHonArc 2.6.19+.