List archive

• [Coq-Club] Final Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23), Carlos Olarte, 04/01/2023
• [Coq-Club] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK, vincent rahli, 04/03/2023
• [Coq-Club] IFL23 first CFP, Pieter Koopman, 04/03/2023
• [Coq-Club] TyDe 2023 - Call for Papers, Youyou Cong, 04/03/2023
• [Coq-Club] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023, xu, 04/03/2023
• [Coq-Club] APLAS 2023 first Call for Papers, Sato, Ryosuke, 04/04/2023
• [Coq-Club] SYNASC 2023 - Second Call for Papers, SYNASC 2023, 04/04/2023
• [Coq-Club] Call for Journal-First @ ICGT 2023 :: 16th International Conference on Graph Transformation, Christopher Michael POSKITT, 04/05/2023
• [Coq-Club] SEFM 2023: First Call for Papers, Willemse, Tim, 04/05/2023
• [Coq-Club] Final Call for Papers LFMTP'23 [extended abstract submission deadline, April 20], Carlos Olarte, 04/12/2023
• [Coq-Club] Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023, Julien Narboux, 04/13/2023
• [Coq-Club] [ANN] Algebra Tactics 1.1.1 released, Kazuhiko Sakaguchi, 04/13/2023
• [Coq-Club] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023., daniel . jurjo, 04/14/2023
• [Coq-Club] Call for Papers - Formal Techniques for Java-like Programs 2023, Aaron Tomb, 04/14/2023
• [Coq-Club] WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC, Tephilla Prince, 04/16/2023
• [Coq-Club] Call for Papers: Functional Software Architecture - FP in the Large, Graham Hutton, 04/17/2023
• [Coq-Club] Manual proof terms definitions and typechecking, Matthieu Baty, 04/18/2023
  • Re: [Coq-Club] Manual proof terms definitions and typechecking, Gaëtan Gilbert, 04/18/2023
    • Re: [Coq-Club] Manual proof terms definitions and typechecking, Matthieu Baty, 04/20/2023
      • Re: [Coq-Club] Manual proof terms definitions and typechecking, Gaëtan Gilbert, 04/20/2023
• [Coq-Club] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield, Andrei Popescu, 04/20/2023
• [Coq-Club] HOR 2023: Second Call for Papers, Carsten Fuhs, 04/21/2023
• [Coq-Club] GCM 2023: Final Call for Papers, Jens Kosiol, 04/22/2023
• [Coq-Club] Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines], D. Ventura, 04/22/2023
• [Coq-Club] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods, Luigia Petre, 04/24/2023
• [Coq-Club] 2023 Coq workshop call for presentations, Yves Bertot, 04/25/2023
• [Coq-Club] 2nd Call: International Workshop: Constructive Mathematical Analysis, Tuncer Acar, 04/25/2023
• [Coq-Club] AITP 2023 - Second Call for Contributions, Josef Urban, 04/28/2023
• [Coq-Club] Second Call for Papers SETS 2023 (Deadline Extended), David Delahaye, 04/29/2023

Archive powered by MHonArc 2.6.19+.