List archive

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

Archive powered by MHonArc 2.6.19+.