Graphes infinis : un pont entre théorie des langages et logique
le 14 septembre 2010
de 15h30 à 17h00ENS Rennes Salle du conseil
Intervention de Christophe Morvan, maître de Conférences à l'Université de Marne la Vallée (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 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.
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.
- Thématique(s)
- Formation, Recherche - Valorisation
- Partenaires
- Les transparents de la présentation sont disponibles.
- Contact
- Claude Jard
Mise à jour le 12 septembre 2019
À télécharger
- Transparents de la présentation PDF, 1 Mo