List archive

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

Archive powered by MHonArc 2.6.19+.