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
2017/04
121 mails
Chronological Thread << < page # 1/5 > >>
- [Coq-Club] *Extended submission deadline* - 10th Conference on Intelligent Computer Mathematics - CICM 2017, Serge Autexier, 03/17/2017
- [Coq-Club] DeepLearn 2017: early registration March 24, GRLMC, 03/22/2017
- [Coq-Club] [iFM'17] Deadline Extension for the International Conference on integrated Formal Methods 2017, Ingrid Chieh Yu, 03/31/2017
- [Coq-Club] Issues mixing Ltac, anonymous tactics, eta-expansion, Valentin Robert, 04/01/2017
- Re: [Coq-Club] Issues mixing Ltac, anonymous tactics, eta-expansion, Pierre Courtieu, 04/01/2017
- Re: [Coq-Club] Issues mixing Ltac, anonymous tactics, eta-expansion, Valentin Robert, 04/01/2017
- Re: [Coq-Club] Issues mixing Ltac, anonymous tactics, eta-expansion, Pierre Courtieu, 04/01/2017
- Re: [Coq-Club] Cascading tactics, Jonathan Leivent, 04/01/2017
- Re: [Coq-Club] Cascading tactics, Pierre Courtieu, 04/01/2017
- Re: [Coq-Club] Cascading tactics, Robert Rand, 04/03/2017
- Re: [Coq-Club] Cascading tactics, Jonathan Leivent, 04/03/2017
- Re: [Coq-Club] Cascading tactics, Robert Rand, 04/03/2017
- Re: [Coq-Club] Cascading tactics, Pierre Courtieu, 04/01/2017
- [Coq-Club] the Racket summer school of semantics and languages, Robby Findler, 04/01/2017
- [Coq-Club] Turning an evar into a goal?, Jason Gross, 04/01/2017
- Re: [Coq-Club] Turning an evar into a goal?, Jonathan Leivent, 04/01/2017
- Re: [Coq-Club] Turning an evar into a goal?, Jason Gross, 04/03/2017
- Re: [Coq-Club] Turning an evar into a goal?, Jonathan Leivent, 04/03/2017
- Re: [Coq-Club] Turning an evar into a goal?, Jason Gross, 04/03/2017
- Re: [Coq-Club] Turning an evar into a goal?, Jonathan Leivent, 04/03/2017
- Re: [Coq-Club] Turning an evar into a goal?, Jason Gross, 04/03/2017
- Re: [Coq-Club] Turning an evar into a goal?, Jonathan Leivent, 04/01/2017
- [Coq-Club] Special Issue of MSCS---Call for Papers, Gopalan Nadathur, 04/03/2017
- [Coq-Club] École d'été LASER : Île d'Elbe, septembre, software for robotics, Bertrand Meyer, 04/03/2017
- [Coq-Club] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017, Serge Autexier, 04/04/2017
- [Coq-Club] EPS: Encyclopedia of Proof Systems, Bruno Woltzenlogel Paleo, 04/04/2017
- [Coq-Club] call for papers - WPTE 2017, William Mansky, 04/04/2017
- [Coq-Club] 2nd call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury, Peter Achten, 04/05/2017
- [Coq-Club] FSCD 2017 - Last Call for Papers (ABSTRACT DEADLINE THIS WEEK), Sandra Alves, 04/05/2017
- [Coq-Club] OPLSS: register by April 15th, Amal Ahmed, 04/06/2017
- [Coq-Club] CFP: TyDE'17 Workshop on Type-Driven Development, Yukiyoshi Kameyama, 04/06/2017
- [Coq-Club] PxTP 2017: Call for Papers, Bruno Woltzenlogel Paleo, 04/06/2017
- [Coq-Club] SYNASC 2017 - Second Call for Papers, SYNASC 2017, 04/06/2017
- [Coq-Club] Autumn school "Proof and Computation", Chuangjie Xu, 04/06/2017
- [Coq-Club] Apply and "Ill-typed evar instance", Robbert Krebbers, 04/06/2017
Archive powered by MHonArc 2.6.18.