List archive

• Re: [Coq-Club] Context declaration, (continued)
  • Re: [Coq-Club] Context declaration, Stéphane Lescuyer
• [Coq-Club] PLMMS 2009: Extended deadline, Laurent Théry
• [Coq-Club] TPHOLs 2009 in Munich: Call for Participation and Accepted Papers, Stefan Berghofer
• [Coq-Club] FMCAD'09 Last Call for Papers, Armin Biere
• [Coq-Club] TFM09: Last CFP (Formal Methods Week, Eindhoven, November 6th 2009), J.N. Oliveira
• [Coq-Club] Proofs preserved by a certain equivalence relation, Eugene Kirpichov
  • Re: [Coq-Club] Proofs preserved by a certain equivalence relation, Adam Chlipala
    • Re: [Coq-Club] Proofs preserved by a certain equivalence relation, Eugene Kirpichov
• [Coq-Club] FICS'09 Call for papers - Fixed Points in Computer Science (CSL'09 workshop), Ralph Matthes
• [Coq-Club] Call for papers: SVT at ACM SAC 2010, Jan Cederquist
• [Coq-Club] 1st CFP - Special Issue of the JSC on Invariant Generation, Laura Kovacs
• [Coq-Club] PRIB2009 Call for SHORT Papers, prib2009
• [Coq-Club] Journal of Automated Reasoning: Special Issue on the POPLmark Challenge, Stephanie Weirich
• [Coq-Club] examples of program by extraction?, Gyesik Lee
  • Re: [Coq-Club] examples of program by extraction?, CHA Reeseo
    • Re: [Coq-Club] examples of program by extraction?, Frederic Blanqui
  • Message not available
    • Re: [Coq-Club] examples of program by extraction?, Gyesik Lee
• [Coq-Club] Reminder: Deadline for Special Issue of IMLA approaching (31st May 2009), Valeria de Paiva
• [Coq-Club] 2nd Cfp: PCC09, David Pichardie
• [Coq-Club] LCC Extension/CfP, Logic and Computational Complexity
• [Coq-Club] Mutual definition using a well-founded measure, Guilhem Moulin
  • Re: [Coq-Club] Mutual definition using a well-founded measure, Yves Bertot
    • Re: [Coq-Club] Mutual definition using a well-founded measure, Guilhem Moulin
      • Re: [Coq-Club] Mutual definition using a well-founded measure, Stéphane Lescuyer
      • Re: [Coq-Club] Mutual definition using a well-founded measure, Guilhem Moulin
      • Re: [Coq-Club] Mutual definition using a well-founded measure, Benoit Razet
      • Re: [Coq-Club] Mutual definition using a well-founded measure, Guilhem Moulin
  • Re: [Coq-Club] Mutual definition using a well-founded measure, muad
    • Re: [Coq-Club] Mutual definition using a well-founded measure, Yves Bertot
  • Re: [Coq-Club] Mutual definition using a well-founded measure, harke

Archive powered by MhonArc 2.6.16.