The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Après un retour sur le "pebbling", sur le modèle du programme de branchement et sur sa relation avec la machine de Turing, je présenterai des bornes inférieures sur la taille de programmes de branchement résolvant le problème de l'évaluation d'un arbre (je préciserai ce problème, qui rappelle la façon dont un "treillis automaton" effectue son calcul). Travaux effectués avec Mark Braverman, Steve Cook, Rahul Santhanam et Dustin Wehr, présentés à MFCS 2009 et FSTTCS 2009.