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/03
121 mails
Chronological Thread << < page # 1/5 > >>
- [Coq-Club] Funding available for Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5, Marco Maggesi, 02/28/2019
- Re: [Coq-Club] [直播] [2 x 1 = 1] Postdoc Position at the University of, OOO1337777 OOO1337777, 03/01/2019
- [Coq-Club] Ackermann Award 2019: Final Call for Nominations, EACSL Mail-Account, 03/03/2019
- Re: [Coq-Club] [gdr.gpl ] [4PAD 2019] Deadline extension, Frédéric Dabrowski, 03/04/2019
- [Coq-Club] CICM 2019, July 8-12: Extended Deadline 8th March 2019 (abstracts), 15th March 2019 (full papers), Serge Autexier, 03/04/2019
- [Coq-Club] Homotopy Type Theory and Univalent Foundations conference June 2019 in Oslo, Benedikt Ahrens, 03/04/2019
- <Possible follow-up(s)>
- [Coq-Club] Homotopy Type Theory and Univalent Foundations conference June 2019 in Oslo, Benedikt Ahrens, 03/07/2019
- [Coq-Club] Second call for papers, MPC 2019, Portugal, Graham Hutton, 03/05/2019
- [Coq-Club] PhD scholarships and post-doctoral opportunities at Programming Language Systems, ANU, Michael.Norrish, 03/06/2019
- [Coq-Club] Call for Papers F-IDE Workshop 2019, Virgile Prevosto, 03/06/2019
- [Coq-Club] Announcement : FormalData, Evelyne Contejean, 03/06/2019
- [Coq-Club] Second Dali Workshop: First Call for Papers, Renato Neves, 03/07/2019
- [Coq-Club] 5th Workshop on Bridging the Gap between Human and Automated Reasoning, geoff, 03/07/2019
- [Coq-Club] Implementation of Coq's automation tactics, Xuanrui Qi, 03/08/2019
- Re: [Coq-Club] Implementation of Coq's automation tactics, Joomy Korkut, 03/08/2019
- Re: [Coq-Club] Implementation of Coq's automation tactics, Gaëtan Gilbert, 03/08/2019
- [Coq-Club] Coq Ocaml version, Laurent Thery, 03/14/2019
- Re: [Coq-Club] Coq Ocaml version, CYRIL SIX, 03/14/2019
- Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/14/2019
- Re: [Coq-Club] Coq Ocaml version, Xuanrui Qi, 03/14/2019
- Re: [Coq-Club] Coq Ocaml version, Laurent Thery, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Théo Zimmermann, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Gaëtan Gilbert, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Ian, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Théo Zimmermann, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
- Re: [Coq-Club] Coq Ocaml version, Laurent Thery, 03/16/2019
- Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
- Re: [Coq-Club] Implementation of Coq's automation tactics, Joomy Korkut, 03/08/2019
Archive powered by MHonArc 2.6.18.