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 # 1/4 > >>
- 18/03/01
- [Coq-Club] HLPP 2018: High Level Parallel Programming, Frédéric Dabrowski
- [Coq-Club] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018, Natarajan Shankar
- 18/03/02
- Re: [Coq-Club] Operations on boolean vector : shift / mask, Pierre-Evariste Dagand
- [Coq-Club] PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures (First CfP), David Baelde
- Re: [Coq-Club] Operations on boolean vector : shift / mask, Vincent Siles
- [Coq-Club] Mathematically Structured Functional Programming 2018: Call for Papers, Robert Atkey
- Re: [Coq-Club] Operations on boolean vector : shift / mask, Frédéric Blanqui
- 18/03/03
- [Coq-Club] ARQNL 2018 - Call for Papers, geoff
- Re: [Coq-Club] Operations on boolean vector : shift / mask, Samuel Gruetter
- 18/03/05
- [Coq-Club] [coq-club] Best way to prove properties of Program Fixpoint with measure function, Merlin Göttlinger
- [Coq-Club] postdoc position at Inria Rennes, Alan Schmitt
- Re: [Coq-Club] [coq-club] Best way to prove properties of Program Fixpoint with measure function, Pierre Courtieu
- Re: [Coq-Club] [coq-club] Best way to prove properties of Program Fixpoint with measure function, Merlin Göttlinger
- Re: [Coq-Club] [coq-club] Best way to prove properties of Program Fixpoint with measure function, Joachim Breitner
- Re: [Coq-Club] [coq-club] Best way to prove properties of Program Fixpoint with measure function, Merlin Göttlinger
- RE: [Coq-Club] [coq-club] Best way to prove properties of Program Fixpoint with measure function, Soegtrop, Michael
- Re: [Coq-Club] [coq-club] Best way to prove properties of Program Fixpoint with measure function, Joachim Breitner
- Re: [Coq-Club] [coq-club] Best way to prove properties of Program Fixpoint with measure function, Merlin Göttlinger
- [Coq-Club] research engineer (postdoc) position at MSR-Inria Joint Centre, Stephan Merz
- 18/03/06
- [Coq-Club] QBFEVAL'18 - Call for Contributions, Luca Pulina
- [Coq-Club] Postdoc positions - Verification of Quantum Cryptography, Dominique Unruh
- [Coq-Club] VerifyThis 2018: Call for Participation and Travel Grants, Andrei Paskevich
- 18/03/07
- [Coq-Club] LFMTP'18: Logical Frameworks and Meta Languages: Theory and Practice - Call for Papers, Frédéric Blanqui
- [Coq-Club] 1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg, Peter Achten
- [Coq-Club] Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018), Christoph Lüth
- [Coq-Club] Verification of CBV machine, Gert Smolka
- Re: [Coq-Club] Verification of CBV machine, Reynolds, Thomas N. (MU-Student)
- Re: [Coq-Club] Verification of CBV machine, Ramsdell, John D.
- [Coq-Club] Types 2018: Deadline extension, José Carlos Espírito Santo
- 18/03/08
Archive powered by MHonArc 2.6.18.