Tilings

• The Domino Problem: Raiders of the lost proof, séminaire Escape, 2009. A (somehow forgotten) proof of the undecidability of the domino problem by Lewis and Aanderaa.
• Pavages et logique (in french), séminaire du LAMA, Chambery, 2008.
• Pavages et logique (in french), Ecole Jeunes Chercheurs en Informatique Mathématique, 2008
• Aspects structurels des pavages (in french), séminaire des élèves, ENS Lyon, 2007.

Matrix groups and Quantum Computation

• Computing with Infinite groups, Seminar at the Paderborn Institute for Scientific Computation (PASCO), November 2005.
• Algebraic Techniques in Quantum Computation, PhD defense, April 8th, 2005
• Ensemble de portes quantiques universelles, seminar for the Quantum team of the LRI laboratory, Mar 18th, 2003.
• Suites récurrentes linéaires, MC2 seminar, Jan 15th, 2003.
• Automates quantiques et indécidabilité, Talk for the Master's Thesis
• Indécidabilité sur les automates quantiques, Première Journée de l'action spécifique nouveaux modèles de calcul, June, 5th, 2002