List archive

• [Coq-Club] WITS 2023 Deadline Extended to July 15, Jesper Cockx, 07/01/2023
• [Coq-Club] Women in EuroProofNet @ ITP - Funding available, Frédéric Blanqui, 07/02/2023
• Re: [Coq-Club] [Agda] position in Deducteam — Lawvere/Dosen session on categorial logic/programming @ CT2023, admin, 07/02/2023
• [Coq-Club] TPTP v8.2.0 released, geoff, 07/03/2023
• [Coq-Club] GPCE 2023: Deadline Extension, Youyou Cong, 07/05/2023
• [Coq-Club] make proof-general/company-coq stop on warnings, Abhishek Anand, 07/05/2023
  • Re: [Coq-Club] make proof-general/company-coq stop on warnings, Pierre Roux, 07/06/2023
• [Coq-Club] Deadline Extension Doctoral Programme CICM 2023: 14 July 2023, Serge Autexier, 07/07/2023
• [Coq-Club] SPLASH 2023 - Second Combined Call for Contributions, Alcides Fonseca, 07/11/2023
• [Coq-Club] Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec), Graham Hutton, 07/11/2023
• [Coq-Club] [ANN] coq-lsp release 0.1.7, Emilio Jesús Gallego Arias, 07/11/2023
• [Coq-Club] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming, Peter Achten, 07/12/2023
• [Coq-Club] CfPart Reliability, safety and security of railway systems (RSSRail 2023), Alexander Romanovsky, 07/13/2023
• [Coq-Club] FROM 2023 – THIRD CALL FOR PAPERS, Andrei Sipoș, 07/14/2023
• [Coq-Club] ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION, Andrei Sipoș, 07/14/2023
• [Coq-Club] Seeking nominations: POPL 2024 Artifact Evaluation Committee, Caleb Stanford, 07/14/2023
• [Coq-Club] How to use a Coercion defined in a Module?, Chris Dams, 07/15/2023
  • Re: [Coq-Club] How to use a Coercion defined in a Module?, Kyle Stemen, 07/15/2023
• [Coq-Club] ThEdu'23 proceedings - cfp, Walther Neuper, 07/15/2023
• [Coq-Club] ETAPS 2024 1st joint call for papers, jan . kofron, 07/17/2023
• [Coq-Club] VMCAI 2024: First Call for Papers, Ori Lahav, 07/17/2023
• [Coq-Club] Using patterns as arguments to Ltac tactics, Chris Dams, 07/19/2023
  • Re: [Coq-Club] Using patterns as arguments to Ltac tactics, Pierre Courtieu, 07/19/2023
    • Re: [Coq-Club] Using patterns as arguments to Ltac tactics, Chris Dams, 07/20/2023
  • Re: [Coq-Club] Using patterns as arguments to Ltac tactics, Gaëtan Gilbert, 07/20/2023
    • Re: [Coq-Club] Using patterns as arguments to Ltac tactics, Chris Dams, 07/21/2023
• [Coq-Club] Beginner question: 0 - 1 = 0?, Frank Schwidom, 07/23/2023
  • Re: [Coq-Club] Beginner question: 0 - 1 = 0?, Dominique Larchey-Wendling, 07/23/2023
    • Re: [Coq-Club] Beginner question: 0 - 1 = 0?, Sylvain Boulmé, 07/23/2023
      • Re: [Coq-Club] Beginner question: 0 - 1 = 0?, Ana Borges, 07/23/2023

Archive powered by MHonArc 2.6.19+.