Partager cette page :

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

le 11 septembre 2007

de 10h15 à 12h00

ENS Rennes Amphithéâtre
Plan d'accès

Intervention de Christophe Morvan, maître de conférences à l'Université Marne la Vallée, collaborateur de l'équipe Vertecs à l'Irisa. Séminaire du département Informatique et télécommunications.

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.
Thématique(s)
Recherche - Valorisation
Contact
Claude Jard

Mise à jour le 12 septembre 2019