Accueil

Programme

 Journées CMF

Les journées CMF auront lieu du mardi 17 midi au mercredi 18 midi.

Mardi après-midi 13h30 à 18h00

  • Yann Strozecki (PRISM) The complexity of almost acyclic simple stochastic games.
  • Nicolas Bacquey (GREYC)  Language recognition on cyclic cellular automata.
  • François Bossière (LIX) On the Complexity of Set-CSPs.
  • Amélie Gheerbrant (LIAFA) When is naive evaluation possible?
  • Nadime Francis (LSV) Datalog Rewritings of Regular Path Queries using Views.
  • Mamadou Kanté (LIMOS) A polynomial delay algorithm for the enumeration of minimal edge dominating sets in graphs.

Mercredi matin 9h00 à 12h00

  • Dietmar Berwanger Cachan (LSV) Directed graph measures.
  • Fabien Givors (LIRMM) Subcomputabilities.
  • Amaury Pouly (LIX) Study of an analog computer, from computability to complexity and links with computations on real numbers.
  • Pierre Bourhis (CNRS LIFL/INRIA Lille) Containment of monadic datalog for general structures.

Le programme détaillé / Detailed program [pdf].

 

EG'60 - Journées en l'honneur d'Etienne Grandjean

Mercredi 18 décembre /  Wednesday december, 18

  •  14h - 15h15 Serge Grigorieff (Paris 7), "A propos d'Etienne (about Etienne)" suivi de "Formalization of the notion of sequential algorithm"
  • 15h15 - 15h45 Pause café / Coffee break
  • 15h45 - 16h30 Georg Gottlob (Oxford), "Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics"
  • 16h30 - 17h15 Nicole Schweikardt (Frankfurt am Main),  "Enumerating First-Order Queries over Databases of Low Degree"
  • 17h15 - 17h30 Nadia Creignou, Frédéric Olive (Marseille) : "Nuages"
  • 19h30 Diner / Dinner (rendez-vous at the Café Mancel at 19h15)

Jeudi 19 décembre / Thursday december, 19

  • 9h  Accueil "petit déjeuner" / Wellcome breakfast
  • 9h30 - 10h15  Neil Immerman (UMass Amherst), "Descriptive and Dynamic Complexity"
  • 10h15 - 11h  Thomas Schwentick (Dortmund), "Inside DynFO"
  • 11h-11h30 Pause café / Coffee break
  • 11h30 - 12h15 Jean-Yves Marion (Nancy), "Evolving graph structures, non-interference, and complexity"
  • 12h30 Buffet / Lunch
     

Programme détaillé avec résumés / Detailed program with abstract [pdf]