Jeudi 21 Janvier : Herve Fournier (LIP)
"Un theoreme de transfert pour le probleme P=NP sur les
reels avec addition et ordre"
Resume: Herve reviendra sur ce sujet deja aborde au printemps 98 (sans
supposer que les auditeurs ont assiste au premier expose)
Jeudi 4 Février : Docteur O. Bournez (LIP)
"(In)decidabilité de la stabilité et de la mortalité
des systemes dynamiques à fonction de transition affine par morceaux"
Jeudi 11 Février : Docteur O. Bournez (LIP)
"(In)decidabilité de la stabilité et de la mortalité
des systemes dynamiques à fonction de transition affine par morceaux"
(suite)
Jeudi 18 mars : Leonid Libkin (Bell Labs et INRIA Rocquencourt)
"Embedded finite models and constraint databases"
Jeudi 1er Avril : P. Koiran (LIP)
"Calcul de l'adérence d'un ensemble constructible,
et applications"
Jeudi 22 Avril : M. Bourgade (IGD)
"La hiérarchie polynomiale des groupes infinis d'exposant 2"
Jeudi 29 Avril : N. Portier (Liège - Luik)
"Les automates : un problème de minimisation et une question sur
les suites récurrentes linéaires d'entiers."
Mercredi 26 Mai : Johann Makowski (Technion & ETH Zurich)
"Calculer les permanents et hamiltoniens (I) : les matrices de largeur
arborescente bornee"
Jeudi 27 Mai : Johann Makowski (Technion & ETH Zurich)
"Calculer les permanents et hamiltoniens (II) : les corps de characteristique
2 et 3"