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
2018/03
91 mails
Chronological Thread << < page # 2/4 > >>
- [Coq-Club] PAAR 2018 - Call for Papers, geoff, 03/08/2018
- [Coq-Club] Final Call for Papers: PACMPL issue ICFP 2018, Lindsey Kuper, 03/08/2018
- Re: [Coq-Club] [isabelle] New AFP entry: Monoidal Categories, 1337777.OOO, 03/09/2018
- [Coq-Club] International Summer School on Proof Theory, Joost Joosten, 03/09/2018
- [Coq-Club] Hiring Coq user to develop smart contracts, Faré, 03/12/2018
- [Coq-Club] Midlands Graduate School 2018 - final call for participation, Graham Hutton, 03/12/2018
- [Coq-Club] Making COq do more of the search work, Jim Fehrle, 03/12/2018
- RE: [Coq-Club] Making COq do more of the search work, Soegtrop, Michael, 03/12/2018
- Re: [Coq-Club] Making COq do more of the search work, Abhishek Anand, 03/12/2018
- Re: [Coq-Club] Making COq do more of the search work, Matthieu Sozeau, 03/12/2018
- RE: [Coq-Club] Making COq do more of the search work, Soegtrop, Michael, 03/12/2018
- Re: [Coq-Club] Making COq do more of the search work, Théo Zimmermann, 03/12/2018
- Re: [Coq-Club] Making COq do more of the search work, Armaël Guéneau, 03/13/2018
- Re: [Coq-Club] Making COq do more of the search work, Matthieu Sozeau, 03/13/2018
- Re: [Coq-Club] Making COq do more of the search work, Clément Pit-Claudel, 03/13/2018
- RE: [Coq-Club] Making COq do more of the search work, Soegtrop, Michael, 03/14/2018
- Re: [Coq-Club] Making COq do more of the search work, R. Pollack, 03/12/2018
- Re: [Coq-Club] Making COq do more of the search work, Abhishek Anand, 03/12/2018
- RE: [Coq-Club] Making COq do more of the search work, Soegtrop, Michael, 03/12/2018
- [Coq-Club] CfP F-IDE: Formal Integrated Development Environment, Virgile Prevosto, 03/12/2018
- [Coq-Club] Call for Papers: SETTA 2018, Xinyu Feng, 03/12/2018
- [Coq-Club] 1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages), Jurriaan Hage, 03/13/2018
- [Coq-Club] Call for Contributions: Type-Driven Development 2018, Niki Vazou, 03/13/2018
- [Coq-Club] Call for Papers AVoCS'18 @FLOC 2018, David Pichardie, 03/14/2018
- [Coq-Club] [HLPP 2018] CFP, Frédéric Dabrowski, 03/15/2018
- [Coq-Club] 4PAD 2018 (deadline extension): 5th International Symposium on Formal Approaches to Parallel and Distributed Systems, Allan Blanchard, 03/15/2018
- [Coq-Club] SAT/SMT/AR Summer School 2018, Giles Reger, 03/15/2018
- [Coq-Club] Postdoc position in Orsay, France, Sylvie Boldo, 03/15/2018
- [Coq-Club] Federated Logic Conference student travel support, Jeremy Avigad, 03/15/2018
- [Coq-Club] Final Announcement: Second DeepSpec Summer School, Lennart Beringer, 03/15/2018
- [Coq-Club] EJCP 2018 - Appel à participation, Jean-Christophe Filliatre, 03/16/2018
Archive powered by MHonArc 2.6.18.