List archive

• [Coq-Club] ETAPS 2019 1st joint call for papers, Tarmo Uustalu, 09/11/2018
• [Coq-Club] Postdoc position at IMT Atlantique, Nantes, nicolas tabareau, 09/12/2018
• [Coq-Club] Open Engineer Position in ProofInUse joint laboratory, Claude Marché, 09/12/2018
• [Coq-Club] Postdoc opening at the University of Pennsylvania, Benjamin C. Pierce, 09/12/2018
• [Coq-Club] PhD and Postdoc Positions at the University of Innsbruck, Cezary Kaliszyk, 09/14/2018
• [Coq-Club] Agda Implementors' Meeting XXVIII - Nottingham, October 15-20, Nicolai Kraus, 09/14/2018
• [Coq-Club] CoqPL 2019: Call for Presentations, Robbert Krebbers, 09/17/2018
• [Coq-Club] CPP 2019: Final Call for Papers, Magnus Myreen, 09/17/2018
• [Coq-Club] weird idtac, Erkki Luuk, 09/18/2018
  • Re: [Coq-Club] weird idtac, Bagnall, Alexander, 09/18/2018
    • Re: [Coq-Club] weird idtac, Erkki Luuk, 09/18/2018
• [Coq-Club] LPAR-22 in Ethiopia - Call for Short Papers, geoff, 09/18/2018
• [Coq-Club] Post-proceedings TYPES'18: Final call for papers, José Carlos Espírito Santo, 09/19/2018
• [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Emilio Jesús Gallego Arias, 09/19/2018
  • Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Ralf Jung, 09/22/2018
    • Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Théo Zimmermann, 09/22/2018
      • Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Emilio Jesús Gallego Arias, 09/22/2018
      • Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Bernhard Schommer, 09/24/2018
• [Coq-Club] [ANN] Procrastination v1.2, Armaël Guéneau, 09/20/2018
• [Coq-Club] ITP2019: Call for Workshops, O'Leary, John W, 09/21/2018
• [Coq-Club] Third Call for Papers: FSEN 2019, Maurice ter Beek, 09/21/2018
• [Coq-Club] Redefinition of extracted parameter, King, Oscar, 09/21/2018
  • Re: [Coq-Club] Redefinition of extracted parameter, Gaëtan Gilbert, 09/21/2018
  • <Possible follow-up(s)>
  • Re: [Coq-Club] Redefinition of extracted parameter, King, Oscar, 09/26/2018
    • Re: [Coq-Club] Redefinition of extracted parameter, Maximilian Wuttke, 09/27/2018
• [Coq-Club] folding under binders, Abhishek Anand, 09/25/2018
  • Re: [Coq-Club] folding under binders, Clément Pit-Claudel, 09/25/2018
    • Re: [Coq-Club] folding under binders, Hugo Herbelin, 09/25/2018
• [Coq-Club] POPL'19 First Call for Student Volunteers, Alex Sanchez-Stern, 09/25/2018
  • Re: [Coq-Club] POPL'19 First Call for Student Volunteers, Yixuan Chen, 09/26/2018

Archive powered by MHonArc 2.6.18.