Sections

Place Stanislas

Présentation
Sponsors
Dates importantes
Programme
Inscription
Venir au LORIA
Organisateurs
Participants
Hébergement

Modèles de calcul, Modèles finis et Complexité CMF'2007

21-22 Mai 2007
LORIA/INRIA
615 Rue du Jardin Botanique, 54602 Villers-Lès-Nancy



Programme Provisoire:

Lundi 21 Mai:

  • 9h30: Acceuil & Café
  • 10h00 à 11h00: Olivier Teytaud, "Complexity in learning from examples"
  • 11h00 à 11h15: Café
  • 11h15 à 12h15: Maurice Margenstern, "Autour de problèmes de pavage dans le plan hyperbolique, une approche algorithmique"
  • 12h15 à 13h00: Jean-Yves Marion, "Recursion Theorems as a foundation of computer virology "

Pause déjeuner.

  • 14h00 à 15h00: Luc Segoufin, "FO+TC versus MSO sur les arbres."
  • 15h00 à 16h00: Arnaud Durand, "Autour de la complexité de l'énumération de requêtes"
  • 16h00 à 16h15: Café
  • 16h15 à 16h45: Adrien Vieilleribière, "Approximate Equivalence of Tranduction"
  • 16h45 à 17h15: Vincent Nesme, "Convexité, Théorèmes min-max et Symétries"
  • 17h15 à 17h45: Nazim Fates, "Calculer en parallèlle sans horloge : automates cellulaires asynchrones"
  • 17h35 à 18h30: Miki Hermann, "Complexity of Default Logic on Generalized Conjunctive Queries"
  • 18h30: Discussions.

Diner de Gala, au restaurant "Le Foy", Place Stanislas.

Mardi 22 Mai:

  • 9h00 à 10h00: Manuel Bodirsky, " Constraint Satisfaction over Infinite Domains: Finite Model Theory meets Classical Model Theory"
  • 10h00 à 10h15: Café
  • 10h15 à 11h00: Stéphane Demri, "On the complexity of temporal reasoning about sequences of memory states"
  • 11h00 à 11h45: Radu Iosif, "Verification Problems for Programs with Singly-Linked Lists"
  • 11h45 à 12h30: Dominique Larchey-Wendling, "Relational semantics and finite models of separation logics"

Pause déjeuner.

  • 14h00 à 15h00: Malika More, "50 ans de problèmes de spectres en logique"
  • 15h00 à 15h15: Café
  • 15h15 à 15h45: Sylvain Perifel, "Symétrie de l'information et bornes inférieures non-uniformes"
  • 15h45 à 16h15: Rodrigo de Souza, "Une approche structurelle pour le probleme de décider si un transducteur est k-valué".
  • 16h15 à 16h45: Guillaume Burel, "Réduction non-bornée de la longueur de preuves en déduction modulo