List archive

• Re: [Coq-Club] coqide on leopard?, (continued)
  • Re: [Coq-Club] coqide on leopard?, Damien Doligez
• [Coq-Club] 2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08), demis
• [Coq-Club] [MPC'08] First call for participation, MPC'08 Organizers
• [Coq-Club] 2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08), demis
• [Coq-Club] CALL FOR PAPERS: TPHOLs 2008--EMERGING TRENDS--, Otmane Ait Mohamed
• [Coq-Club] CFP - ASE '08 Tool Demonstrations, Ewen Denney
• [Coq-Club] PL in Coq Survey, Jeffrey Vaughan
  • [Coq-Club] why 2 Coq wikis?, Stefano Zacchiroli
    • Re: [Coq-Club] why 2 Coq wikis?, Benjamin Pierce
      • Message not available
      • Re: [Coq-Club] why 2 Coq wikis?, Benjamin Pierce
• [Coq-Club] HASE 2008 CALL FOR PAPERS, tase08
• [Coq-Club] Exercise, Joan Josep Jiménez Puig
  • Re: [Coq-Club] Exercise, Pierre Castéran
• [Coq-Club] Call for Papers: CFV'08, an IJCAR'08 workshop, Sydney, Australia, August 10 - 11, 2008, Miroslav Velev
• [Coq-Club] DEADLINE EXTENSION: (WWV'08) 4th Int'l Workshop on Automated Specification and Verification of Web Systems, demis
• [Coq-Club] PAuL 2008 CfP Deadline Extension, PAuL 2008
• [Coq-Club] 2nd CFP: Proof-Carrying Code workshop PCC 2008 (Extended deadline), David Aspinall
• [Coq-Club] Coq rejects recursive call with obviously smaller principal argument, Eelis van der Weegen
  • Re: [Coq-Club] Coq rejects recursive call with obviously smaller principal argument, harke
    • Re: [Coq-Club] Coq rejects recursive call with obviously smaller principal argument, Eelis van der Weegen
• [Coq-Club] WRS 2008 final CFP (extended deadline), aart . middeldorp
• [Coq-Club] WMM'08 call for papers, Karl Crary
• [Coq-Club] DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and (Constraint) Logic Programming, demis
• [Coq-Club] PLMMS - last call for papers, Makarius
• [Coq-Club] ARW'08 (Automated Reasoning Workshop) - Call for Papers, Louise Dennis
• [Coq-Club] small scripts of ssreflect?, Keiko Nakata
  • Re: [Coq-Club] small scripts of ssreflect?, Thery Laurent
  • Re: [Coq-Club] small scripts of ssreflect?, Thery Laurent
• [Coq-Club] proofs involving variables appeared from matching, Andrei Popescu
  • Re: [Coq-Club] proofs involving variables appeared from matching, Pierre Casteran

Archive powered by MhonArc 2.6.16.