Graphes infinis : un pont entre théorie des langages et logique

Cet exposé a pour but d'introduire l'étude des familles de graphes infinis. Dans un premier temps on rappellera des éléments de théorie des langages, on présentera ensuite quelques familles de graphes infinis reposant sur les même fondements. La première partie sera conclue par l'évocation de quelques aspects de la logique en tant que discipline scientifique.

La seconde partie de l'exposé sera consacrée à la description de plusieurs problèmes ouverts ayant trait au graphes infinis. On abordera également un aspect délicat de la recherche dans les disciplines théoriques : l'identification d'un problème (ou sujet) intéressant et accessible.