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
2014/02
241 mails
Chronological Thread << < page # 1/9 > >>
- 14/01/25
- [Coq-Club] Joint 25th RTA & 12th TLCA: Last reminder, Luca
- [Coq-Club] ICEIRD 2014: *** Submission Deadline Extension ***, Announce Announcements
- 14/01/26
- [Coq-Club] TERMGRAPH 2014: call for papers, Raamsdonk, F. van
- 14/01/27
- [Coq-Club] TAP 2014: 2nd Call for Contributions, Martina Seidl
- 14/01/29
- [Coq-Club] Vienna Summer of Logic Announcement, Geoff Sutcliffe
- 14/01/31
- 14/02/01
- [Coq-Club] WiMob 2014: First CFP and Call for Workshop Proposals, Announce Announcements
- [Coq-Club] Call for papers: Nonlinear Reasoning, Lawrence Paulson
- [Coq-Club] AlCoB 2014: extended submission deadline 11 February, GRLMC
- 14/02/02
- [Coq-Club] DeSE 2014: First Call for Papers, Announce Announcements
- 14/02/03
- [Coq-Club] Large bodies of knowledge, Rene Vestergaard
- [Coq-Club] Scheluded downtime, Jean-Marc Notin
- Re: [Coq-Club] Large bodies of knowledge, Josef Urban
- Re: [Coq-Club] Large bodies of knowledge, Rene Vestergaard
- Re: [Coq-Club] Large bodies of knowledge, Vladimir Voevodsky
- Re: [Coq-Club] Large bodies of knowledge, Rene Vestergaard
- [Coq-Club] The 6th Coq workshop: call for contributions, Viktor Vafeiadis
- [Coq-Club] Sum of all nats = 1/12, Kevin Sullivan
- Re: [Coq-Club] Sum of all nats = 1/12, Kevin Sullivan
- Re: [Coq-Club] Sum of all nats = 1/12, Kevin Sullivan
- 14/02/04
- Re: [Coq-Club] Sum of all nats = 1/12, Marco Servetto
- Re: [Coq-Club] Sum of all nats = 1/12, Gabriel Scherer
- Re: [Coq-Club] Sum of all nats = 1/12, Freek Wiedijk
- Re: [Coq-Club] Sum of all nats = 1/12, Kevin Sullivan
- Re: [Coq-Club] Sum of all nats = 1/12, Frédéric Chyzak
- [Coq-Club] Recursive proposition with exists, Terrell, Jeffrey
- Re: [Coq-Club] Recursive proposition with exists, Arnaud Spiwack
- Re: [Coq-Club] Recursive proposition with exists, Terrell, Jeffrey
- 14/02/05
Archive powered by MHonArc 2.6.18.