Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence : G. Scherer, “Introduction á la programmation fonctionnelle”, 50h, L1, Paris 8 (Vincennes - Saint Denis), France

• Master: B. Accattoli, “Logique linéaire et paradigmes logiques du calcul”, 18h, M2, Master Parisien de Recherche en Informatique (MPRI), France.

• Master: D. Miller, “Logique linéaire et paradigmes logiques du calcul”, 18h, M2, Master Parisien de Recherche en Informatique (MPRI), France.

• Summer School: G. Scherer, “Programmation fonctionnelle en OCaml”, 12h, public d'ingénieurs de recherche, formation ANF (CNRS), France

• Summer School: L. Straßburger: “Introduction to Deep Inference”, 10h, ESSLLI 2020, Riga, Latvia

• Summer School: B. Accattoli, “$\lambda$-Calculus and Reasonable Cost Models”, 15h, Escuela de Ciencia Informaticas (ECI 2019), Buenos Aires, Argentina.

Supervision

• PhD in progress: Marianela Morales, “Combinatorial Proof Theory for Modal Logic”, 1/10/2019, Lutz Straßburger.

• PhD in progress: Maico Leberle, “Call-by-need and Reasonable Cost Models”, Beniamino Accattoli.

• PhD completed: Ulysse Gérard, “Computing with relations, functions, and bindings”, 18 October 2019, Ecole Doctorale de l’Institut Polytechnique de Paris, advised by Dale Miller.

• PhD in progress: Matteo Manighetti, “Structural proof theory for induction in linear logic”, advised by Dale Miller since 1/10/2017.

• PhD in progress: Marianela Morales, “Combinatorial Proof Theory for Modal Logic”, 1/10/2019, Lutz Straßburger

Juries

Dale Miller was a reportor for the PhD thesis of Aurore Alcolei (ENS Lyon, 17 October 2019).