List archive

• [Coq-Club] CADE-29 second Call for Papers, geoff, 02/22/2023
• [Coq-Club] HOR 2023: Call for Papers, Carsten Fuhs, 02/27/2023
• [Coq-Club] CfP Reliability, safety and security of railway systems (RSSRail 2023), Alexander Romanovsky, 02/27/2023
• [Coq-Club] Job offer - postdoc position in Inria Sophia Antipolis, Cyril Cohen, 03/01/2023
• [Coq-Club] SYNASC 2023 - First Call for Papers, SYNASC 2023, 03/01/2023
• [Coq-Club] Guardedness failure for mixed inductive coinductive types, Chung-Kil Hur, 03/02/2023
  • Re: [Coq-Club] Guardedness failure for mixed inductive coinductive types, Li-yao Xia, 03/02/2023
    • Re: [Coq-Club] Guardedness failure for mixed inductive coinductive types, Chung-Kil Hur, 03/03/2023
• [Coq-Club] AITP 2023 - Call for Contributions, Josef Urban, 03/02/2023
• [Coq-Club] PhD position at Inria / Nantes Université (France), Assia Mahboubi, 03/04/2023
• [Coq-Club] PhD Studentships in Formalising CS/Maths at King's College London, Mohammad Abdulaziz, 03/06/2023
• [Coq-Club] TYPES 2023: Call for Contributions - Deadline extension, Alicia Villanueva, 03/06/2023
• [Coq-Club] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering, Andrei Chis, 03/07/2023
• [Coq-Club] Announce: Summer School about the use of Proof Assistants for Teaching PAT2023, Julien Narboux, 03/07/2023
• [Coq-Club] Call for papers SC-square 2023, Erika Abraham, 03/07/2023
• [Coq-Club] LPAR 2023 Call for Workshops and Tutorials, geoff, 03/07/2023
• [Coq-Club] UNIF 2023 Second Call for Papers, Christophe Ringeissen, 03/08/2023
• [Coq-Club] TAP 2023 CfP: extended deadline, Virgile Prevosto, 03/09/2023
• [Coq-Club] ITP 2024 - Call for Bids, Thiemann , René, 03/09/2023
• [Coq-Club] PhD or Postdoc Position at LMU Munich about Verified Modal Logics, Andrei Popescu, 03/10/2023
• [Coq-Club] LOPSTR 2023 - Call for Papers, daniel . jurjo, 03/10/2023
• [Coq-Club] First Call for Papers SETS 2023, David Delahaye, 03/11/2023
• [Coq-Club] cfp ThEdu'23 -- 12th workshop on theorem proving components for educational software, Walther Neuper, 03/11/2023
• [Coq-Club] LPAR 2023 Deadline extension, geoff, 03/14/2023
• [Coq-Club] Call for Papers, Functional Software Architecture - FP in the Large, Graham Hutton, 03/16/2023
• [Coq-Club] Utrecht Summer School on Advanced Functional Programming 2023, Swierstra, W.S. (Wouter), 03/16/2023
• [Coq-Club] ITP 2023: Call for Workshop and Tutorial Proposals, Thiemann , René, 03/16/2023
• [Coq-Club] TABLEAUX 2023 - FIRST CALL FOR PAPERS, Josef Urban, 03/18/2023
• [Coq-Club] [ANN] Bignums release 9.0.0, Pierre Roux, 03/20/2023
• Re: [Coq-Club] [CMU-HoTT] Special lectures Directed Type Theory — via dependent profunctor-types following Kosta Dosen, admin, 03/21/2023

Archive powered by MHonArc 2.6.19+.