A list of slides of talks i have given at various seminars.
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
Back (Main page)
Last modified : 07/17/09
|