Complexité et modèles finis

4 juin 1998, Ecole Normale Supérieure de Lyon



Programme final

  • 9h30 - 10h30: Bruno Poizat (Lyon)
    Complexité descriptive et théorie des modèles finis : le point de vue d'un théoricien des modèles.

  • 10h30 - 11h: Arnaud Durand (Caen)
    Une preuve élémentaire de résultats de comptage en complexité et en théorie des modèles finis.

  • 11h - 11h30: Pause.

  • 11h30-12h30: Christian Michaux (Mons)
    Isomorphism theorem for BSS recursively enumerable sets over real closed fields.

  • 14h-14h45: Olivier Chapuis (Lyon)
    A propos de la définissabilité de la parité.

  • 14h45-15h30: Michel de Rougemont (Orsay)
    Expressivité et compression.

  • 15h30 - 16h: Pause.

  • 16h-16h30: Natacha Portier (Lyon)
    Stabilité polynomiale des corps différentiels.

  • 16h30-17h: David Gross (Orsay)
    Approximation de requêtes dans les bases de données géographiques.

    • Vous pouvez aussi consulter l'appel à contributions.

    Les exposés auront lieu dans l'amphitéatre B, au quatrième étage du bâtiment principal de l'ENS Lyon.
    Pour se rendre à l'ENS, il suffit de consulter le plan et de suivre les instructions.

    Back to Pascal Koiran's home page