List archive

• 24/12/02
  • [Coq-Club] (Post-)Doctoral Positions at Chapman U, Jonathan Weinberger
• 24/12/03
  • [Coq-Club] PhD positions at Nottingham, Thorsten Altenkirch
• 24/12/04
  • [Coq-Club] Paid internship position at Virginia Tech, USA, Swarn Priya
• 24/12/05
  • [Coq-Club] JFLA 2025 - Inscriptions ouvertes, Marie Kerjean
• 24/12/09
  • [Coq-Club] Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Brazil, Serge Autexier
• 24/12/10
  • [Coq-Club] FSCD 2025: Second Call for Papers, Carsten Fuhs
  • [Coq-Club] TYPES 2025: First Call for Contributions, Fredrik Nordvall Forsberg
• 24/12/11
  • [Coq-Club] [CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025, nicolas tabareau
• 24/12/13
  • [Coq-Club] Postdoc position in formal methods for security and privacy, Rolando Trujillo Rasua
• 24/12/16
  • [Coq-Club] Postdoc positions in Ljubljana, Slovenia, Bauer, Andrej
  • [Coq-Club] produce _CoqProject from dune, Abhishek Anand
  • [Coq-Club] LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025, Andrei Popescu
• 24/12/18
  • [Coq-Club] [TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK), Peter Achten
  • [Coq-Club] PhD position at ETH Zurich in formal semantics and verification, Ralf Jung
• 24/12/20
  • [Coq-Club] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations, Daniel Gratzer
• 24/12/22
  • Re: [Coq-Club] Problem with definitions scope in imported module, richard
  • Re: [Coq-Club] Problem with definitions scope in imported module, mukesh tiwari
  • Re: [Coq-Club] Problem with definitions scope in imported module, richard
  • Re: [Coq-Club] Problem with definitions scope in imported module, mukesh tiwari
  • Re: [Coq-Club] Problem with definitions scope in imported module, Richard Dapoigny
  • Re: [Coq-Club] Problem with definitions scope in imported module, Richard Dapoigny
• 24/12/23
  • [Coq-Club] update a tactic, Jason Hu
  • Re: [Coq-Club] update a tactic, Gaëtan Gilbert
  • Re: [Coq-Club] update a tactic, Gaëtan Gilbert
• 24/12/25
  • [Coq-Club] Equivalence for propositional functions, richard
  • Re: [Coq-Club] Equivalence for propositional functions, Théo Winterhalter
  • Re: [Coq-Club] Equivalence for propositional functions, mukesh tiwari
  • Re: [Coq-Club] Equivalence for propositional functions, Richard Dapoigny
• 24/12/28
  • [Coq-Club] Proving the pairing axiom, richard
  • Re: [Coq-Club] Proving the pairing axiom, mukesh tiwari

Archive powered by MHonArc 2.6.19+.