List archive

• [Coq-Club] CPP 2013 Final Call for Papers (Abstract deadline: June 10th), Georges Gonthier, 06/05/2013
• [Coq-Club] Asian Pacific Summer School on Formal Methods 2013, Jean-Francois Monin, 06/06/2013
• [Coq-Club] Call for Participation CICM 2013 8-12 July 2013, Registration deadline 23rd June 2013, Serge Autexier, 06/07/2013
• [Coq-Club] Modularity 2014 - Call for Papers, Danilo Ansaloni, 06/07/2013
• [Coq-Club] ML workshop 2013: Call for presentations, Daan Leijen, 06/07/2013
• [Coq-Club] FLoC 2014 Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna, Austria), David Pichardie, 06/07/2013
• [Coq-Club] ITP 2013 Call for Participation (Early Registration Deadline June 17th), David Pichardie, 06/07/2013
• [Coq-Club] DBPL 2013 - Deadline extended to Friday, June 14th., Alan Schmitt, 06/08/2013
• [Coq-Club] SLSP 2013: call for participation, GRLMC, 06/09/2013
• [Coq-Club] Proving equality inside matches, Jason Gross, 06/09/2013
  • Re: [Coq-Club] Proving equality inside matches, Adam Chlipala, 06/09/2013
    • Re: [Coq-Club] Proving equality inside matches, Jason Gross, 06/09/2013
      • Re: [Coq-Club] Proving equality inside matches, Pierre Boutillier, 06/09/2013
• [Coq-Club] Do functional extensionality and dependent transport commute?, Jason Gross, 06/09/2013
  • Re: [Coq-Club] Do functional extensionality and dependent transport commute?, Nils Anders Danielsson, 06/10/2013
• [Coq-Club] Last Mile: ICSNC 2013 || October 27 - November 1, 2013 - Venice, Italy, ICSNC 2013, 06/10/2013
• [Coq-Club] InP to InPT as an axiom?, fr.inria.coq-club, 06/10/2013
  • Re: [Coq-Club] InP to InPT as an axiom?, Daniel Schepler, 06/10/2013
• [Coq-Club] Book announcement: ALAN TURING - His Work and Impact, S B Cooper, 06/10/2013
• [Coq-Club] Can Ltac choose a bound variable?, Andrew W. Appel, 06/11/2013
  • Re: [Coq-Club] Can Ltac choose a bound variable?, Jason Gross, 06/12/2013
• [Coq-Club] CFP: 1st International Workshop on GReen Optimized Wireless Networks (GROWN'13), amjad, 06/12/2013
• [Coq-Club] CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct), Christoph LANGE, 06/12/2013
• [Coq-Club] CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call), Ralph Matthes, 06/12/2013
• [Coq-Club] (CFP) Certified Programs and Proofs 2013 - Weekend Extension on Final Submissions, Georges Gonthier, 06/13/2013
• [Coq-Club] Inconsistency in which unicode symbols are accepted, Michiel Helvensteijn, 06/13/2013
  • Re: [Coq-Club] Inconsistency in which unicode symbols are accepted, Pierre-Marie Pédrot, 06/14/2013
    • Re: [Coq-Club] Inconsistency in which unicode symbols are accepted, Michiel Helvensteijn, 06/18/2013
• [Coq-Club] Order of subgoals due [rewrite] and [replace], Robbert Krebbers, 06/15/2013
  • Re: [Coq-Club] Order of subgoals due [rewrite] and [replace], Arnaud Spiwack, 06/17/2013

Archive powered by MHonArc 2.6.18.