Travaux de rédaction 2006/2007

• Groupe de Hotz (Oleksandr Aksenov)
• Théorème de Cobham (Raphaël Benzait-Plessis)
• Le hardest langage (Pierre Bertin)
• Théorème de Cobham (Ivan Boyer)
• Groupe de Hotz (Laurent Bulteau)
• Simulation sur deux bandes en temps O(T(n)log T(n)) des machines de Turing (David Cadé)
• Théorème gap de Borodin (Sandrine Dasse-Hartaut)
• La constante Ω de Chaitin (Léo Ducas)
• Problèmes de graphes NP-complets (Alexis Goyet)
• Mots infinis (Thibaut Kirchner)
• Algorithmes de Markov (Vincent Laviron)
• Complexité de Kolmogorov (Tony Ly)
• Transductions rationnelles (Denise Maurice)
• Théorème d'accélération de Blum (Paul Mercat)
• Formes normales de Greibach (Tien Viet Nguyen)
• Random Access Machines (Damien Nogues)
• Conjecture de Černý (Lucien Pech)
• Motifs inévitables (Adeline Pierrot)
• Des expressions rationnelles aux automates (Florian Praden)
• Suites automatiques (Nicolas Provost)
• Inférence rationnelle (Lionel Rigoux)