List archive

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

Archive powered by MHonArc 2.6.19+.