List archive

• Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, (continued)
  • Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Steve Zdancewic, 06/10/2022
    • Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Sylvain Boulmé, 06/10/2022
  • Re: [Coq-Club] Interesting uses of Second order theorems in Coq proofs, Ken Kubota, 06/10/2022
• [Coq-Club] JFLA 2022 -- clotûre des pré-inscriptions le 10 juin, Chantal Keller, 06/09/2022
• [Coq-Club] Call for TYPES Steering Committee Nominations, Henning Basold, 06/09/2022
• [Coq-Club] Engineer and postdoc positions in France: proof assistant for crypto protocols, David Baelde, 06/09/2022
• [Coq-Club] ICLP 2022: Call for Participation, Víctor Pérez, 06/10/2022
• [Coq-Club] Postdoctoral Researcher and PhD positions at the University of Birmingham, vincent rahli, 06/10/2022
• [Coq-Club] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody", Luigia Petre, 06/13/2022
• [Coq-Club] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages, Pieter Koopman, 06/13/2022
• [Coq-Club] Updated Call for Papers and Tutorials - SEFM'22, chaiming, 06/14/2022
• [Coq-Club] Certified Programs and Proofs (CPP) 2023 Call for Papers, Steve Zdancewic, 06/14/2022
• [Coq-Club] dealing with open terms in Ltac or Ltac2, Benjamin Werner, 06/15/2022
  • Re: [Coq-Club] dealing with open terms in Ltac or Ltac2, Yannick Forster, 06/15/2022
  • Re: [Coq-Club] dealing with open terms in Ltac or Ltac2, Samuel Gruetter, 06/16/2022
    • Re: [Coq-Club] dealing with open terms in Ltac or Ltac2, Benjamin Werner, 06/16/2022
• [Coq-Club] POPL 2023 Call for Papers -- deadline Thursday, July 7th, AoE, Kristopher K Micinski, 06/15/2022
• [Coq-Club] 14th International Summer School on Verification Technology, Systems & Applications, geoff, 06/17/2022
• [Coq-Club] Release of Dkcheck 2.7, a type-checker for Dedukti files, Frédéric Blanqui, 06/18/2022
• [Coq-Club] Professor positions at Ruhr University Bochum, Catalin Hritcu, 06/20/2022
• [Coq-Club] ANN: (docker-coq: Bump to Debian 11) & (docker-coq-action: Remove ocaml_version: "minimal"), Erik Martin-Dorel, 06/20/2022
• [Coq-Club] Job offer / Research-Engineer / IRT Railenium, France, Kenza KRAIBI, 06/21/2022
• [Coq-Club] Onward! Papers 2022 - CfP, Andreea Costea, 06/21/2022
• [Coq-Club] generalize ZifyClasses.Saturate, Abhishek Anand, 06/22/2022
  • Re: [Coq-Club] generalize ZifyClasses.Saturate, Frédéric Besson, 06/22/2022
• [Coq-Club] ring_theory instance for Z mod d setoid, Abhishek Anand, 06/23/2022
  • Re: [Coq-Club] ring_theory instance for Z mod d setoid, Dominique Larchey-Wendling, 06/23/2022
• [Coq-Club] specify the ring_theory instance in ring and ring_simplify, Abhishek Anand, 06/25/2022
  • Re: [Coq-Club] specify the ring_theory instance in ring and ring_simplify, Sylvain Boulmé, 06/25/2022
• [Coq-Club] Coq Platform release 2022.04.1, Théo Zimmermann, 06/27/2022

Archive powered by MHonArc 2.6.19+.