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
2019/10
91 mails
Chronological Thread << < page # 2/4 > >>
- [Coq-Club] Coalgebra Day 2019, Clovis Eberhart, 10/04/2019
- [Coq-Club] PhD / Postdoc position at Open University of The Netherlands, Freek Verbeek, 10/07/2019
- [Coq-Club] Computability in Europe 2020 FIRST CALL FOR PAPERS:, Gianluca Della Vedova, 10/07/2019
- [Coq-Club] Deadline extension and final CFP, Michael Winter, 10/07/2019
- [Coq-Club] Researcher positions (postdoc / phd) in Quantum Crypto and Formal Verification, Dominique Unruh, 10/08/2019
- [Coq-Club] Moving between extrinsic and intrinsic proofs, Elias Castegren, 10/09/2019
- Re: [Coq-Club] Moving between extrinsic and intrinsic proofs, Xavier Leroy, 10/09/2019
- Re: [Coq-Club] Moving between extrinsic and intrinsic proofs, Elias Castegren, 10/10/2019
- Re: [Coq-Club] Moving between extrinsic and intrinsic proofs, Maximilian Wuttke, 10/09/2019
- Re: [Coq-Club] Moving between extrinsic and intrinsic proofs, Laurent Thery, 10/09/2019
- Re: [Coq-Club] Moving between extrinsic and intrinsic proofs, Xavier Leroy, 10/09/2019
- [Coq-Club] Coq 8.10.0, Vincent Laporte, 10/09/2019
- RE: [Coq-Club] Coq 8.10.0, Roger Witte, 10/09/2019
- Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/09/2019
- Re: [Coq-Club] Coq 8.10.0, Roger Witte, 10/09/2019
- RE: [Coq-Club] Coq 8.10.0, Roger Witte, 10/10/2019
- Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019
- RE: [Coq-Club] Coq 8.10.0, Soegtrop, Michael, 10/10/2019
- Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019
- RE: [Coq-Club] Coq 8.10.0, Soegtrop, Michael, 10/10/2019
- Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/09/2019
- Re: [Coq-Club] Coq 8.10.0, Xuanrui Qi, 10/09/2019
- Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/09/2019
- Re: [Coq-Club] Coq 8.10.0, Frédéric Blanqui, 10/10/2019
- Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019
- Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/09/2019
- Re: [Coq-Club] Coq 8.10.0, Ian Zimmerman, 10/09/2019
- Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019
- RE: [Coq-Club] Coq 8.10.0, Roger Witte, 10/09/2019
- [Coq-Club] CoqPL 2020: Call for Presentations (deadline October, 23), Robbert Krebbers, 10/11/2019
- [Coq-Club] [TFP'20] one month left for pre-symposium submissions for Trends in Functional Programming 2020, 13-14 February, Krakow, Poland, Peter Achten, 10/11/2019
- [Coq-Club] TYPES 2020 - call for contributions, Ugo de'Liguoro, 10/11/2019
- [Coq-Club] ITRS 2020: call for contributions, Ugo de'Liguoro, 10/11/2019
- [Coq-Club] Postdoc positions in CertiChain project, Sergey, Ilya, 10/11/2019
Archive powered by MHonArc 2.6.18.