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 d'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 plus délicat de la recherche dans les disciplines théoriques : l'isolement d'un problème (ou sujet) intéressant.