Les journées du groupe de travail Complexité et Modèles Finis du GDR IM se tiendront à Caen, les 17 et 18 décembre 2013.
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, ...
Ces journées se prolongeront les 18 et 19 décembre par une rencontre en l'honneur d'Étienne Grandjean à l'occasion de ses 60 ans.