Videos from the members of the team

Lectures & wide-audience talks

podcast : DECODE Quantum, A la rencontre de Simon Perdrix, directeur de recherche à l’Inria, 2022

Nazim Fatès, La machine de Turing : un modèle pour le calcul ? [Eurêka !]
Septembre  2021, interview on Alan TURING by Université de Lorraine

Nazim Fatès, Sommes-nous des algorithmes ? L’intelligence artificielle en question(s)
IUT Charlemagne, Cycle sciences et société, 26 septembre 2019

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)

Specialised conferences

Simon Perdrix, Langages graphiques pour programmer et raisonner en informatique quantique, May 2021, Collège de France,  Informatique et sciences numériques (chaire annuelle [in French]

Nazim Fatès, Does Robust computation exist ?
Online seminar, Indian working group on cellular automata, January 2021

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