Travaux de rédaction 2010/2011
Théorème de cardinalité
(
Exposé
) (Miguel Acosta)
Algorithmes de Markov
(Joran Bigalet)
Groupe de Hotz
(Oscar Blumberg)
Suites automatiques
(
Exposé
) (Lucas Boczkowski)
Complexité de Kolmogorov
(
Exposé
) (Pierre Cagne)
Motifs inévitables
(
Exposé
) (Martin Clochard)
Théorie des codes
(
Exposé
) (Nicolas Daviaud)
Hiérarchie polynomiale
(
Exposé
) (Charles Fougeron)
Modèle de Blum, Shub et Smale
(
Exposé
) (Guilhem Gamard)
IP=PSPACE
(
Exposé
) (Jean-Bastien Grill)
Théorème de Ladner
(
Exposé
) (Weikun He)
Calculabilité distribuée
(
Exposé
) (Louis Jachiet)
Simulation d'une machines à k bandes en T(n) par une machine à deux bandes en O(T(n)log(T(n)))
(
Exposé
) (Quentin de Mourgues)
Complexité randomisée
(
Exposé
) (Teng Qin)
Automates sur les mots infinis
(
Exposé
) (Guillaume Roux)
0-knowledge proof
(
Exposé
) (Paul Simon)
λ-calcul
(
Exposé
) (Adrien Surée)
MSO et automates
(
Exposé
) (Victor Treinsoutrot)
Mots de Sturm
(
Exposé
) (Florent Urrutia)
Grammaires booléennes
(
Exposé
) (Rémi Varloot)