List archive

• [Coq-Club] assert that the output of Print Assumptions is a subset of, Abhishek Anand, 08/01/2023
• [Coq-Club] ICFP 2023: Call for Participation, ICFP Publicity, 08/03/2023
• [Coq-Club] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University, Hazem Torfah, 08/03/2023
• [Coq-Club] CICM 2023 - Call for Participation, Serge Autexier, 08/04/2023
• [Coq-Club] PhD and PostDoc Positions in Formal Methods at KIT, Bernhard Beckert, 08/04/2023
• [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Frank Schwidom, 08/06/2023
  • Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", mukesh tiwari, 08/06/2023
    • Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", mukesh tiwari, 08/06/2023
      • Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Jason Gross, 08/06/2023
      • Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Tadeusz Litak, 08/06/2023
      • Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Adam Chlipala, 08/06/2023
      • Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Pierre-Evariste Dagand, 08/13/2023
• [Coq-Club] call for Associate Professor candidates in JAIST, ADRIAN RIESCO RODRIGUEZ, 08/07/2023
• [Coq-Club] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023, Sato, Ryosuke, 08/08/2023
• [Coq-Club] [Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA, Peter Achten, 08/08/2023
• [Coq-Club] 2nd CFP - CPP 2024 - Certified Programs and Proofs, Brigitte Pientka, 08/08/2023
• [Coq-Club] VMCAI 2024: Second Call for Papers, Rayna Dimitrova, 08/12/2023
• [Coq-Club] Coq OPAM archive status?, Qinshi Wang, 08/13/2023
  • Re: [Coq-Club] Coq OPAM archive status?, Théo Zimmermann, 08/13/2023
• [Coq-Club] Research Associate at the University of Kent, Canterbury, UK, Mark Batty, 08/21/2023
• Re: [Coq-Club] make proof-general/company-coq stop on warnings, Pierre Courtieu, 08/22/2023
• [Coq-Club] PADL 2024: Call for Papers, ICFP Publicity, 08/24/2023
• [Coq-Club] Four fully funded PhD positions, Harsh Beohar, 08/26/2023
• [Coq-Club] VMCAI 2024: Extended Deadline September 7th, Rayna Dimitrova, 08/28/2023
• [Coq-Club] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023, Dirk Pattinson, 08/29/2023
• [Coq-Club] Recursive call on a non-recursive argument of constructor., Burak Ekici, 08/29/2023
  • Re: [Coq-Club] Recursive call on a non-recursive argument of constructor., Li-yao Xia, 08/29/2023
• [Coq-Club] CfPart Reliability, safety and security of railway systems (RSSRail 2023), Alexander Romanovsky, 08/29/2023
• [Coq-Club] Workshop on Dafny at POPL 24 (Call for Papers), Stefan, 08/31/2023

Archive powered by MHonArc 2.6.19+.