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