List archive

• [Coq-Club] Postdoc positions on Formal Verification for Zero-Trust IoT Systems at Kyoto University and National Institute of Informatics (NII), Japan, Taro Sekiyama, 01/14/2022
• [Coq-Club] Multiple Research Fellow positions at the Australian National University, Alwen Tiu, 01/17/2022
• [Coq-Club] : optimized Regexp Library, Wendlasida Ouedraogo, 01/17/2022
  • Re: [Coq-Club] : optimized Regexp Library, mukesh tiwari, 01/17/2022
• [Coq-Club] [ANN] Coq Hackaton Winter 2022 edition, Emilio Jesús Gallego Arias, 01/17/2022
• [Coq-Club] [CfP] ICLP 2022 - Deadline Extension (28th Jauary), Víctor Pérez, 01/18/2022
• [Coq-Club] FSCD 2022: Second Call for Papers, Carsten Fuhs, 01/18/2022
• [Coq-Club] MathComp 1.14.0 released, Cyril Cohen, 01/19/2022
• [Coq-Club] Release of Lambdapi 2.1.0, Frédéric Blanqui, 01/20/2022
• [Coq-Club] FLAIRS conference (on the beach, in the sunshine) extended deadline, geoff, 01/20/2022
• [Coq-Club] Line numbers in 'Error' tab in coqide wrong after upgrade, Chris Dams, 01/23/2022
  • Re: [Coq-Club] Line numbers in 'Error' tab in coqide wrong after upgrade, Jim Fehrle, 01/23/2022
• [Coq-Club] Iris 3.6 and std++ 1.7 released, Tej Chajed, 01/24/2022
• [Coq-Club] Call for bids to host ITP 2023, Leonardo de Moura, 01/27/2022
• [Coq-Club] Coq Platform 2022.01.0, Théo Zimmermann, 01/27/2022
• [Coq-Club] VST release 2.9, Andrew Appel, 01/27/2022
• [Coq-Club] PLDI SRC 2022 -- Call for Submissions, PLDI Publicity Chair, 01/28/2022
• [Coq-Club] TYPES 2022 -- Second call for contributions, Pierre-Marie Pédrot, 01/28/2022
• [Coq-Club] Coq community survey 2022, Théo Zimmermann, 01/29/2022
• [Coq-Club] Reminder: Coq Hackathon and Working Group on Feb 15th-17th 2022, Ali Caglayan, 01/31/2022

Archive powered by MHonArc 2.6.19+.