Conférences spécialisées
Mathieu Hoyrup, Descriptive complexity on non-Polish spaces II
ICALP-B 2020
Titouan Carette and Emmanuel Jeandel, A Recipe for Quantum Graphical Languages
ICALP-B 2020
Titouan Carette, SZX-calculus: Scalable Graphical Quantum Reasoning
QPL 2020
Vladimir Zamdzhiev, Inductive and recursive types for quantum programming
QPL 2020
Robert Booth, Flow Conditions for Continuous Variable Measurement based Quantum Computing
QPL 2020
Romain Péchoux et al., A tier-based typed programming language characterizing Feasible Functionals
LICS 2020
Cours et conférences grand public
Emmanuel Jeandel, The undecidability of the domino problem
Research school on « Tilings and dynamical systems », November 21, 2017, Centre International de Rencontres Mathématiques (Marseille, France)
Nazim Fatès, Sommes-nous des algorithmes ? L’intelligence artificielle en question(s)
IUT Charlemagne, Cycle sciences et société, 26 septembre 2019
