List archive

• [Coq-Club] Subject: User Interfaces for Theorem Provers UITP03 - Second Call for Papers, Christoph Lueth
• [Coq-Club] EXTENDED EARLY REGISTRATION for NASSLLI 2003, NASSLLI'03 Bloomington, Indiana
• [Coq-Club] CADE 19 registration, Christopher Lynch
• [Coq-Club] Coq on-line documentation and unix Mozilla browser, Pierre Letouzey
• [Coq-Club] FORTE 2003: Work in Progress Papers Deadline Approaching, Hartmut König
  • <Possible follow-ups>
  • [Coq-Club] FORTE 2003: Work in Progress Papers Deadline Approaching, Hartmut König
• [Coq-Club] Tactic for and?, Carlos.SIMPSON
• [Coq-Club] Tableaux 2003 Calculemus 2003 Last Call for Papers (fwd), Marta Cialdea
• [Coq-Club] Positions at the Software Quality Research Laboratory (SQRL) at t he University of Limerick, Ireland., Ita.Page
• [Coq-Club] ESSLLI-2004 Call for Proposals, info
• [Coq-Club] SAS'03: Call for Participation, SAS 2003
• [Coq-Club] CADE student travel award (second call), Christopher Lynch
• [Coq-Club] Research Job: Compositional Reasoning & Analysis for Software Systems @ Heriot-Watt U., Scotland, UK, Joe Wells
• [Coq-Club] NASSLLI funding available, NASSLLI'03 Bloomington, Indiana
• [Coq-Club] Problèmes avec des fonctions sur des listes, Frederic GAVA
• [Coq-Club] Second Call for Papers: STRATA 2003, Myla Archer
• [Coq-Club] IFIP WG2.3 Summer School On "Formal Models of Software", Call for participation, Riadh ROBBANA
• [Coq-Club] ETAPS 2004: FIRST CALL FOR SUBMISSIONS, ETAPS 2004
• [Coq-Club] CADE 19 early registration deadline Friday, Christopher Lynch
• [Coq-Club] Postdoc positions, Conseil de la Recherche de l'Institut
• [Coq-Club] ACL2-2003 workshop (CAV'03 satellite event), Matt Kaufmann
• [Coq-Club] Theorem proving example code available, John R Harrison
• [Coq-Club] Express 2003 - Last Call for Papers, flavio
• [Coq-Club] Journee "Geometrie et preuves par ordinateur"., Jean.Duprat
• [Coq-Club] Encoding de Bruijn indices with dependent types., Dachuan Yu
  • Re: [Coq-Club] Encoding de Bruijn indices with dependent types., Gérard Huet
    • Re: [Coq-Club] Encoding de Bruijn indices with dependent types., C T McBride
• [Coq-Club] remove from mailing list, J.F. Peters
• [Coq-Club] TABLEAUX 2003 registration, Marta Cialdea
• [Coq-Club] Exercises on Coq, Pierre Casteran

Archive powered by MhonArc 2.6.16.