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
2019/04
102 mails
Chronological Thread << < page # 2/4 > >>
- [Coq-Club] Int63, simplification and native computation, Soegtrop, Michael, 04/05/2019
- RE: [Coq-Club] Int63, simplification and native computation, Soegtrop, Michael, 04/06/2019
- [Coq-Club] QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION, Luca Pulina, 04/05/2019
- [Coq-Club] Looking for a Coq tutor (Paris / remote), Gabriel Alfour, 04/05/2019
- [Coq-Club] FroCoS 2019 (London): second call for papers, Andrei Popescu, 04/05/2019
- [Coq-Club] TABLEAUX 2019 (London): second call for papers, Andrei Popescu, 04/06/2019
- [Coq-Club] Automated creation of a sed script for replacing deprecated names, Soegtrop, Michael, 04/06/2019
- Re: [Coq-Club] Automated creation of a sed script for replacing deprecated names, Jason Gross, 04/06/2019
- RE: [Coq-Club] Automated creation of a sed script for replacing deprecated names, Soegtrop, Michael, 04/06/2019
- Re: [Coq-Club] Automated creation of a sed script for replacing deprecated names, Jason Gross, 04/06/2019
- [Coq-Club] FMICS 2019: Formal Methods for Industrial Critical Systems; deadlines: 19 April (abstract); 26 April (paper), Tim Willemse, 04/07/2019
- [Coq-Club] ltac error?, Jeremy Dawson, 04/07/2019
- Re: [Coq-Club] ltac error?, Jason -Zhong Sheng- Hu, 04/07/2019
- [Coq-Club] [CALL FOR TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence, Luca Pulina, 04/07/2019
- [Coq-Club] [CALL FOR WORKSHOP PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence, Luca Pulina, 04/07/2019
- [Coq-Club] Save the Date: Coq Users and Developers Workshop, Maxime Dénès, 04/08/2019
- [Coq-Club] MathComp 1.8.0 released, Cyril Cohen, 04/08/2019
- [Coq-Club] Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems, Ichiro Hasuo, 04/08/2019
- [Coq-Club] Research Position in Verified Confidentiality for Weak Memory Concurrency, Toby Murray, 04/09/2019
- [Coq-Club] Call for Papers: 37th IEEE International Conference on Computer Design (ICCD'19), Miroslav Velev, 04/10/2019
- [Coq-Club] Call for Bids to host ITP 2021, O'Leary, John W, 04/10/2019
- [Coq-Club] Use a map in an inductive type, Nicolas Osborne, 04/10/2019
- Re: [Coq-Club] Use a map in an inductive type, Sylvain Boulmé, 04/10/2019
- Re: [Coq-Club] Use a map in an inductive type, Nicolas Osborne, 04/11/2019
- Re: [Coq-Club] Use a map in an inductive type, Sylvain Boulmé, 04/10/2019
- [Coq-Club] CFP: 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2019), New York City, 14 June 2019, Guy Katz, 04/10/2019
- [Coq-Club] "exists" Extraction, Morgan Sinclaire, 04/10/2019
- Re: [Coq-Club] "exists" Extraction, Helmut Brandl, 04/10/2019
- Re: [Coq-Club] "exists" Extraction, Jason -Zhong Sheng- Hu, 04/11/2019
- Re: [Coq-Club] "exists" Extraction, mukesh tiwari, 04/11/2019
- Re: [Coq-Club] "exists" Extraction, Morgan Sinclaire, 04/11/2019
- Re: [Coq-Club] "exists" Extraction, Théo Zimmermann, 04/11/2019
- Re: [Coq-Club] "exists" Extraction, Morgan Sinclaire, 04/11/2019
- Re: [Coq-Club] "exists" Extraction, Helmut Brandl, 04/10/2019
Archive powered by MHonArc 2.6.18.