Journées CMF 2010

Les journées du groupe de travail Complexité et Modèles Finis du GDR IM
se tiendront cette année à Marseille, les 25 et 26 mai.

Ces rencontres veulent permettre à tout chercheur -- confirmé comme
doctorant -- de  présenter ses travaux en complexité, en théorie des modèles finis ou
dans un de leurs  nombreux champs d'application : complexité descriptive, bases de
données, satisfaction de contraintes, vérification de programmes, jeux formels, modèles de
calculs...

Conférenciers invités : Victor Dalmau et Ben Rossman

L'inscription est gratuite. Pour des raisons d'organisation, les
participants sont  néanmoins invités à se faire connaître auprès des organisateurs, à
l'adresse  cmf2010@lif.univ-mrs.fr

Toutes les informations pratiques sont disponibles sur le site des
journées.