Jeudi 23 Septembre: C. Moore (Santa Fe Institute)
Iterations, inequalities, and differentiability in analog computers
Jeudi 21 Octobre: P. Koiran (L.I.P)
Arbres et circuits en compléxite algébrique
Jeudi 17 Novembre: B. Poizat (I.G.D)
Versions continues du probleme P = ? NP
Jeudi 25 Novembre: Dimitri Grigoriev (Rennes)
Bornes inferieures des degres du calcul du Positivstellensatz pour ideaux
binomiaux
Jeudi 13 Janvier: B. Poizat (IGD)
Une tentative pour construire des structures éliminant
rapidement les quanteurs
Jeudi 20 Janvier: H. Fournier (LIP)
Problemes NP-complets creux sur les reels avec addition
Mercredi 9 février: Henri Lombardi (université de Franche-Comté):
"Méthodes dynamiques pour decrypter constructivement des preuves
d'algèbre abstraite"
Jeudi 10 février: Henri Lombardi (université de Franche-Comté):
"Constructions du Nullstellensatz réel"
jeudi 6 avril: P. Koiran (LIP)
"Theoremes de transfert par enumeration des conditions de signe"
jeudi 11 mai: Guillaume Malod (IGD)
"Introduction à la théorie de Valiant"
jeudi 18 mai: C. Picard (IGD)
"Corps séparablement clos et algorithmique"
jeudi 25 mai: Guillaume Malod (IGD)
"Introduction à la théorie de Valiant, Suite"
jeudi 15 juin: A. Carbone (Creteil)
"Géométrie des preuves et complexité"