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
2008/03
72 mails
Pages navigation :
chronological Thread << < page # 1/3 > >>
- 08/03/03
- [Coq-Club] UITP'08: Call for Papers, Claudio Sacerdoti Coen
- [Coq-Club] Oracles in Coq?, Guillaume Melquiond
- [Coq-Club] MKM'08: Final Call for Papers, Serge Autexier
- [Coq-Club] Calculemus 2008: extended deadline March 14, Freek Wiedijk
- [Coq-Club] Russell'08, final call, extended deadline, Ulrich Berger
- 08/03/04
- [Coq-Club] SFM-08:Bio -- last call for participation, Marco Bernardo
- 08/03/05
- [Coq-Club] can a simple proof by induction on nat fail at Qed?, Ralph Matthes
- [Coq-Club] 2nd CFP: PLMMS 2008, Makarius
- 08/03/06
- [Coq-Club] Managing memory from Coq, marko
- [Coq-Club] LaSh08 Call for Papers, Marc Denecker
- Re: [Coq-Club] can a simple proof by induction on nat fail at Qed?, Ralph Matthes
- [Coq-Club] Managing memory from Coq - Correction, marko
- Re: [Coq-Club] Managing memory from Coq - Correction, Lionel Elie Mamane
- Re: [Coq-Club] Managing memory from Coq - Correction, Lionel Elie Mamane
- Re: [Coq-Club] Managing memory from Coq - Correction, Makarius
- Re: [Coq-Club] Managing memory from Coq - Correction, JAEGER, Eric (SGDN)
- 08/03/07
- Re: [Coq-Club] Managing memory from Coq - Correction, marko
- Re: [Coq-Club] Managing memory from Coq - Correction, Frédéric Besson
- [Coq-Club] Special issue of the Journal of Symbolic Computation on "Automated Deduction: Decidability, Complexity, Tractability'', Viorica Sofronie-Stokkermans
- Re: [Coq-Club] Managing memory from Coq - Correction, Benjamin Gregoire
- Re: [Coq-Club] Oracles in Coq?, Arnaud Spiwack
- Re: [Coq-Club] Managing memory from Coq - Correction, JAEGER, Eric (SGDN)
- Re: [Coq-Club] Managing memory from Coq - Correction, marko
- 08/03/10
- [Coq-Club] deadline extension for ESSLLI workshops to March 27, Hans van Ditmarsch
- [Coq-Club] Big inductive proofs, Jean Goubault-Larrecq
- 08/03/11
- Re: [Coq-Club] Big inductive proofs, Roland Zumkeller
- 08/03/12
- Re: [Coq-Club] Big inductive proofs, Jean Goubault-Larrecq
- [Coq-Club] FTP'07 Special Issue CFP, ranise
- Re: [Coq-Club] Big inductive proofs, Jean Goubault-Larrecq
- Re: [Coq-Club] Big inductive proofs, Eduardo Gimenez
Archive powered by MhonArc 2.6.16.