List archive

• [Coq-Club] GPCE 2022 Call for Papers, Youyou Cong, 03/16/2022
• [Coq-Club] PhD position in Formal Methods and AI, Daggitt, Matthew, 03/16/2022
• [Coq-Club] OOPSLA 2022 - Round 2 CFP, Andreea Costea, 03/21/2022
• [Coq-Club] Upcoming Coq Hackathon and workgroup session (jsCoq and CoqDB), Évariste Galois, 03/21/2022
  • Re: [Coq-Club] Coq Hackathon (jsCoq and CoqDB), Emilio Jesús Gallego Arias, 03/28/2022
• [Coq-Club] Call for Participation PLDI 2022, William J. Bowman (PLDI Publicity Chair), 03/21/2022
• [Coq-Club] First CFP: FM 2023 - 25th International Symposium on Formal Methods, Violet Ka I Pun, 03/21/2022
• [Coq-Club] PhD student position on proof theory and verification of legal software, Barcelona, Joost J. Joosten, 03/21/2022
• [Coq-Club] FTfJP 2022 - Call for Papers, Henrique Rebêlo, 03/22/2022
• [Coq-Club] ASPOCP 2022 - Call for papers, Víctor Pérez, 03/24/2022
• [Coq-Club] CAUSAL 2022 - Call for papers, Víctor Pérez, 03/24/2022
• [Coq-Club] ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs - Call for papers, Víctor Pérez, 03/24/2022
• [Coq-Club] post-doc & programmer positions in Tokyo, Japan, Ichiro Hasuo, 03/25/2022
• [Coq-Club] Autumn school "Proof and Computation", Fischbachau (Germany), 26 Sep - 1 Oct 2022, Chuangjie Xu, 03/28/2022
• [Coq-Club] First CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains, Zaynah Dargaye, 03/28/2022
• [Coq-Club] PLP 2022 - Call for Papers, Víctor Pérez, 03/29/2022
• [Coq-Club] Final Call for Papers -- Mathematics of Program Construction 2022, Daggitt, Matthew, 03/29/2022
• [Coq-Club] School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April, Marco Maggesi, 03/30/2022
• [Coq-Club] [ANN] jsCoq + CoqDB mini-workshop tomorrow, Emilio Jesús Gallego Arias, 03/30/2022
  • Re: [Coq-Club] [ANN] jsCoq + CoqDB mini-workshop tomorrow, Suneel Sarswat, 03/30/2022
• [Coq-Club] Final Call for Papers: Student Session @ ESSLLI 2022, Sasha Mayn, 03/31/2022

Archive powered by MHonArc 2.6.19+.