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/05
91 mails
Chronological Thread << < page # 1/4 > >>
- 17/04/25
- [Coq-Club] ARCADE - 2nd Call for Papers, Geoff Sutcliffe
- 17/04/26
- [Coq-Club] FroCoS 2017 DEADLINE EXTENSION, Cláudia Nalon
- [Coq-Club] The Correctness-by-Construction Approach to Programming — Tutorial at QRS 2017, Ina Schaefer
- [Coq-Club] CPP 2018 Call for papers, Amy Felty
- [Coq-Club] 4th Vampire Workshop - Call for Papers, Geoff Sutcliffe
- Re: [Coq-Club] Opaque module typing with exposing function defs, Asya Bergal
- 17/04/28
- 17/05/01
- [Coq-Club] Research (postdoc or graduate) position in Program Verification and Security, Toby Murray
- [Coq-Club] Final call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury, Peter Achten
- [Coq-Club] Galois is hiring!, Eddy Westbrook
- Re: [Coq-Club] For arbitrary crelations, is symmetry involutive?, John Wiegley
- 17/05/02
- [Coq-Club] Call for Papers: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis, Alberto Griggio
- [Coq-Club] Kernkonzept is hiring!, Christiane Berndt
- Re: [Coq-Club] For arbitrary crelations, is symmetry involutive?, John Wiegley
- Re: [Coq-Club] "Cannot satisfy constraint" error using subset types, Matthieu Sozeau
- Re: [Coq-Club] "Cannot satisfy constraint" error using subset types, Klaus Ostermann
- [Coq-Club] Problems with dependent pattern matching, Christian Kjær Larsen
- Re: [Coq-Club] Problems with dependent pattern matching, Frédéric Besson
- Re: [Coq-Club] Problems with dependent pattern matching, Guillaume Melquiond
- [Coq-Club] IJCAI 2017 Workshop on Logical Foundations for Uncertainty and Learning, Marcelo Finger
- Re: [Coq-Club] CoqIDE upgrade on macOS caused a keyboard binding problem, Théo Zimmermann
- Re: [Coq-Club] Problems with dependent pattern matching, Pierre Boutillier
- Re: [Coq-Club] Problems with dependent pattern matching, Christian Kjær Larsen
- 17/05/03
- Re: [Coq-Club] Modeling Ur Elements, Arnaud Spiwack
- [Coq-Club] PhD and Postdoc positions in Innsbruck, Cezary Kaliszyk
- 17/05/04
- 17/05/08
Archive powered by MHonArc 2.6.18.