Date(s):
Mardi 23 septembre 2014 - Vendredi 26 septembre 2014
Lieu(x):
LORIA
Campus Scientifique
BP 239
Vandoeuvre-lès-Nancy
Situées à l'intersection des mathématiques et de l'informatique, ces 15e Journées Montoises d'Informatique Théorique visent à réunir des chercheurs du monde entier dans le domaine de l’informatique théorique et en mathématiques discrètes.
La combinatoire des mots, la théorie des automates et des langages formels sont des thèmes de l’informatique théorique qui sont en lien avec d'autres domaines informatiques ou mathématiques comme la théorie des nombres, la vérification, la logique, la théorie des semi-groupes, la théorie des jeux, ou l’algorithmique.
Ce colloque invite donc à croiser les regards sur ces différents thèmes. Ces journées sont co-organisées par le Loria, laboratoire d’informatique et l’IECL, laboratoire de mathématiques.