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