List archive

• [Coq-Club] Tenure-track Faculty Positions at Max Planck Institutes in Computer Science, Catalin Hritcu, 11/15/2022
• [Coq-Club] [TFP 2023 2nd Call for Papers] 24th International Symposium on Trends in Functional Programming, Peter Achten, 11/15/2022
• [Coq-Club] FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023), Ralph Matthes, 11/15/2022
• [Coq-Club] PhD positions in program verification and separation logic at ETH Zürich, Ralf Jung, 11/15/2022
• [Coq-Club] Universe Polymorphism, Helmut Brandl, 11/16/2022
  • Re: [Coq-Club] Universe Polymorphism, Gaëtan Gilbert, 11/16/2022
    • Re: [Coq-Club] Universe Polymorphism, Helmut Brandl, 11/16/2022
      • Re: [Coq-Club] Universe Polymorphism, Helmut Brandl, 11/16/2022
      • Re: [Coq-Club] Universe Polymorphism, Gaëtan Gilbert, 11/16/2022
      • Re: [Coq-Club] Universe Polymorphism, Helmut Brandl, 11/17/2022
      • Re: [Coq-Club] Universe Polymorphism, Gaëtan Gilbert, 11/17/2022
      • Re: [Coq-Club] Universe Polymorphism, Helmut Brandl, 11/17/2022
• [Coq-Club] ITP 2023: First Call for Papers, Thiemann , René, 11/17/2022
• [Coq-Club] Qed failing after compute, Maxime Buyse, 11/17/2022
  • Re: [Coq-Club] Qed failing after compute, Gaëtan Gilbert, 11/17/2022
• [Coq-Club] ETH Zürich looking to hire assistant professor for "Software Security and Formal Methods" (deadline Jan 8), Ralf Jung, 11/18/2022
• [Coq-Club] MathComp Workshop and Winter School (Dec 5-9 2022) - last call, Enrico Tassi, 11/18/2022
• [Coq-Club] [ANN] coq-lsp preview release, Emilio Jesús Gallego Arias, 11/20/2022
• [Coq-Club] 10 PhD studentships in Nottingham, Graham Hutton, 11/21/2022
• [Coq-Club] Proposals for Sites for IJCAR 2024, geoff, 11/21/2022
• [Coq-Club] Fully funded PhD positions in PL theory and interactive theorem proving at Heriot-Watt University in Edinburgh, Stark, Kathrin, 11/23/2022
• [Coq-Club] order-independent .vo files, Abhishek Anand, 11/24/2022
  • Re: [Coq-Club] order-independent .vo files, Clément Pit-Claudel, 11/27/2022
    • Re: [Coq-Club] order-independent .vo files, Jason Gross, 11/27/2022
• [Coq-Club] [14-12-2022] Workshop on Dependent Type Theory in Nantes, nicolas tabareau, 11/25/2022
  • Re: [Coq-Club] [14-12-2022] Workshop on Dependent Type Theory in Nantes, nicolas tabareau, 11/30/2022
• [Coq-Club] FSCD 2023: First Call for Papers, Carsten Fuhs, 11/28/2022
• [Coq-Club] Tenure Track Assistant Professor - The University of Kansas, Alexander, Perry, 11/28/2022
• [Coq-Club] FSCD-CADE 2023: Call for Workshop Proposals, Carsten Fuhs, 11/29/2022
• [Coq-Club] Call for Participation: POPL'23, Kristopher K Micinski, 11/29/2022

Archive powered by MHonArc 2.6.19+.