List archive

• 25/05/30
  • [Coq-Club] FME Teaching Tutorial on June 6, 2025, 3pm CET: Prof Philip Wadler, University of Edinburgh, UK: Lambda, the Ultimate Teaching Assistant (Agda version), João F. Ferreira
• 25/05/31
  • [Coq-Club] TyDe 2025 - Final Call for Papers, 汪宇霆
• 25/06/02
  • [Coq-Club] School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions, Besik Dundua
  • [Coq-Club] Second Workshop on "Next-Generation Models for Generative AI", edprocess
  • [Coq-Club] ETAPS 2026 Joint Call for Papers, root
• 25/06/03
  • [Coq-Club] CFP - 1st International Workshop on Logic, Statistical and Neural AI (LoStaN 2025), Besik Dundua
• 25/06/04
  • [Coq-Club] [ANN] coq-lsp 0.2.3, Emilio Jesús Gallego Arias
  • [Coq-Club] ML Family Workshop 2025: 2nd CFP: deadline June 19!, Samuel Westrick
• 25/06/05
  • [Coq-Club] FSCD 2025: Second Call for Participation (student fee waivers - apply by *9 June 2025*), Carsten Fuhs
• 25/06/07
  • [Coq-Club] Assist./Assoc. Professor Positions at NII, Tokyo, Ichiro Hasuo
• 25/06/10
  • [Coq-Club] CADE-30 Call for Participation, geoff
  • [Coq-Club] TyDe 2025 - Call for Papers (Submission deadline extended to Jun 22; Remote presentation supported), 汪宇霆
• 25/06/11
  • [Coq-Club] PhD Position in Parametric Floating-Point Reasoning at Uppsala, Tjark Weber
• 25/06/12
  • [Coq-Club] Call for participation to UNIF 2025, Laurent Vigneron
• 25/06/13
  • [Coq-Club] Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*), Carsten Fuhs
• 25/06/16
  • [Coq-Club] 1st CFP - CPP 2026 - Certified Programs and Proofs, nicolas tabareau
• 25/06/17
  • [Coq-Club] Call for faculty positions at PUCV, Chile, Claudio Alonso Cubillos Figueroa
  • [Coq-Club] DataMod 2025 - First Call for Papers, Ouadie Khebbeb
• 25/06/18
  • [Coq-Club] CfP: REACTS'25 - International Workshop on Reconfigurable Transition Systems, Nov 10-11, 2025, José Proença
• 25/06/20
  • [Coq-Club] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025, geoff
  • [Coq-Club] ML Family Workshop 2025: extended deadline: July 3, Samuel Westrick
• 25/06/24
  • [Coq-Club] POPL 2026 Call for Workshops, Ningning Xie
  • [Coq-Club] Next-Generation Models for Generative AI, edprocess
• 25/06/26
  • [Coq-Club] extended deadline (6th July): Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025, Valentin G. J. Herrmann
  • [Coq-Club] CFP: Special Issue on “Bridging Formal Verification and Neural Networks: Ensuring Reliable Networked Systems” for Discover Networks (Springer Nature), Osman Hasan

Archive powered by MHonArc 2.6.19+.