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/05
70 mails
Chronological Thread << < page # 2/3 > >>
- 19/05/12
- Re: [Coq-Club] Variable closure, Kenji Maillard
- Re: [Coq-Club] Variable closure, Michel Levy
- 19/05/13
- [Coq-Club] EJCP 2019 - Appel à participation, Jean-Christophe Filliatre
- [Coq-Club] Last announcement: Homotopy Type Theory and Univalent Foundations conference June 12-14 2019 in Oslo, Benedikt Ahrens
- [Coq-Club] CALL FOR PARTICIPATION: DeepSpec Workshop @ PLDI 2019 (Phoenix, AZ, June 22-23, 2019), Zhong Shao
- 19/05/15
- [Coq-Club] Metaprogramming Summer School (August 2019): call for applications, Jeremy Yallop
- [Coq-Club] 4th autumn school "Proof and Computation", Chuangjie Xu
- [Coq-Club] RAMiCS2020 - CFP, Michael Winter
- [Coq-Club] ETAPS 2020: Call for Satellite Events, Hoefner, Peter (Data61, Kensington NSW)
- 19/05/16
- [Coq-Club] Scottish Programming Languages and Verification Summer School, Fredrik Nordvall Forsberg
- 19/05/17
- 19/05/19
- [Coq-Club] Installation failed for coq-flocq package, mukesh tiwari
- Re: [Coq-Club] Installation failed for coq-flocq package, Guillaume Claret
- Re: [Coq-Club] Installation failed for coq-flocq package, mukesh tiwari
- [Coq-Club] First Call for Student Volunteers at ICFP'19 in Berlin, Germany, Sandra Dylus
- 19/05/20
- [Coq-Club] Facets of realizability - last call for contributions, Valentin Blot
- [Coq-Club] PhD studentship in Budapest, Ambrus Kaposi
- [Coq-Club] LOPSTR 2019: Fist Call for Papers, Tong Liu
- [Coq-Club] Second Call for Tutorial Proposals: ICFP 2019, Sam Tobin-Hochstadt
- 19/05/21
- [Coq-Club] Coq 8.9.1 is out, Guillaume Melquiond
- [Coq-Club] Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers), nevrenato
- [Coq-Club] ENTROPY 2019: Call for Participation - Co-located with EuroS&P'19, David Nowak
- [Coq-Club] [TFP'19 and TFPIE'19] call for participation, Peter Achten
- 19/05/22
- [Coq-Club] [2nd CFP] The Coq Workshop 2019, AffeldtReynald
- [Coq-Club] MathComp 1.9.0 released, georges gonthier
- 19/05/23
- [Coq-Club] Eval hnf takes forever but compute and lazy work, Abhishek Anand
- Re: [Coq-Club] Eval hnf takes forever but compute and lazy work, Jason Gross
- [Coq-Club] 2d Call for Papers F-IDE Workshop 2019, Virgile Prevosto
- [Coq-Club] -type-in-type option, Burak Ekici
- 19/05/24
Archive powered by MHonArc 2.6.18.