Travaux de rédaction 2009/2010
Logique monadique du second ordre
(
exposé
) (Antoine Amarilli)
Théorème de cardinalité
(
exposé
) (François-Régis André)
Modèle de Blum-Shub-Smale
(
exposé
) (Fabrice Ben Hamouda)
Théorie des codes
(
exposé
) (Olivier Bernard)
Mots de Sturm
(
exposé
) (Samuel Bizien)
Calculabilité distribuée
(
exposé
) (Yoann Bourse)
Théorème de Ladner
(
exposé
) (Floriane Dardard)
Théorème de Rice pour les langages récursivement énumérables
(
exposé
) (Wenjie Fang)
Théorème de Mahaney
(
exposé
) (Marc Jeanmougin)
IP = PSPACE
(
exposé
) (Robin Morisset)
Zero-knowledge
(
exposé
) (Ludovic Patey)
λ-calcul
(
exposé
) (Pablo Rauzy)
Motifs inévitables
(
exposé
) (Raphaël Rose-Andrieux)
Automates sur les mots infinis
(
exposé
) (Thibaut Verron)
Algorithme d'Hopcroft
(
exposé
) (Hang Zhou)