Agenda

  • 17 octobre 2023 : A Cost-Aware Logical Framework, de Robert Harper (Carnegie Mellon University)
  • 5 décembre 2023 : Nelly Livtak (Eindhoven University of Technology)
  • 14 mars 2024 : Mustafa Khammash (ETH Zurich)
  • 18 avril 2024 : Simone Göttlich (Univ. of Manheim)
  • 16 mai 2024 : Jean-Claude Bajard (Sorbonne Université Paris)

Les commentaires sont clos.