List archive

• [Coq-Club] MathComp 1.18.0 released, Pierre Roux, 11/01/2023
• [Coq-Club] LPAR-25 in 2024 - Mauritius, geoff, 11/01/2023
• [Coq-Club] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation, Jesper Cockx, 11/03/2023
• [Coq-Club] Fwd: [isabelle] New in the AFP: Eudoxus Reals, Ken Kubota, 11/04/2023
• [Coq-Club] Postdoc position in Formal Methods at University of Exeter, Marmsoler, Diego, 11/08/2023
• [Coq-Club] ICALP-LICS-FSCD joint call for workshops, Sam Staton, 11/08/2023
• [Coq-Club] Call for volunteer maintainers of the Coq Library of Complexity Theory, Théo Zimmermann, 11/09/2023
• [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton, 11/13/2023
• [Coq-Club] POPL 2024 - Call for Participation - Early registration: 14 December, Donaldson, Alastair F, 11/13/2023
• [Coq-Club] Tenure-track Faculty Positions at Max Planck Institutes in Computer Science, Catalin Hritcu, 11/16/2023
• [Coq-Club] Non obvious recursion (Convoy Pattern + Sigma Types + Equations), Agnishom Chattopadhyay, 11/21/2023
  • Re: [Coq-Club] Non obvious recursion (Convoy Pattern + Sigma Types + Equations), Jason Hu, 11/22/2023
    • Re: [Coq-Club] Non obvious recursion (Convoy Pattern + Sigma Types + Equations), Agnishom Chattopadhyay, 11/22/2023
• [Coq-Club] HoTT/UF 2024: 1st Call for Contributions, Tom de Jong, 11/22/2023
• [Coq-Club] FMBC 2024 - First Call for Papers, Marmsoler, Diego, 11/22/2023
• [Coq-Club] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024), Serge Autexier, 11/24/2023
• [Coq-Club] Postdoc in Inria Gallinette team, Nantes -- Compositional Automated Verification for OCaml, Guilhem Jaber, 11/24/2023
• [Coq-Club] Third Call for Contributions - FICS Workshop (submission deadline: 1st December 2023), Alexis Saurin, 11/24/2023
• [Coq-Club] IJCAR 2024: 2nd call for co-located events, Peter Lammich, 11/27/2023
• [Coq-Club] 2024 Alonzo Church Award Call for Nominations, geoff, 11/29/2023

Archive powered by MHonArc 2.6.19+.