List archive

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

Archive powered by MHonArc 2.6.18.