IRIT, Univ. Paul Sabatier

Cycle de séminaires de l'IRIT 2013:

Logiques et analyses pour vérifier des transformations de graphe

 Introduction à la thématique

Les transformations de graphes jouent un rôle important dans différents domaines de l'informatique, par exemple dans la manipulation de structures de pointeurs; des transformations effectuées par un compilateur; en ingénierie des modèles; pour modéliser des réseaux de télécommunication; et beaucoup d'autres. Les graphes sont également des abstractions utiles dans des systèmes biologiques et en chimie.

La logique est un bon cadre pour raisonner sur et analyser les transformations de graphes. Plusieurs logiques spécialisées ont été proposées récemment (logique de séparation; logiques de description et modales; "transitive closure logic") pour résoudre des problèmes spécialisés. Le cycle de séminaires proposé ici a pour but d'inviter des spécialistes reconnus dans ce domaine pour entamer une réflexion sur les points communs de ces logiques, pour tenter une généralisation et pour évaluer leur adéquation dans la résolution de problèmes pratiques.

Ce sujet intéresse et est soutenu par les équipes LILaC du thème 4, TRACES du thème 6 et ACADIE et MACAO du thème 7. Il rentre également dans le champ de deux projets ANR :

 Exposés présentés dans le cycle


Martin Strecker
Last modified: Fri Apr 11 18:48:37 CEST 2014