Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Evénements > Les anciennes Une de l’IRIT > 2013

LabEx CIMI : cours "Logics for strategic abilities in multi-agent systems" de Valentin GORANKO

Invité par le LabEx CIMI, le Professeur Valentin GORANKO, du Department of Informatics and Mathematical Modelling, Technical University of Denmark assurera 6 sessions de 2 heures de cours au cours du mois de mars 2013 dans les locaux de l’IRIT.

Le cours se déroulera en deux parties :

  • La première partie consiste en une introduction aux logiques temporelles pour la spécification et la vérification des programmes.
  • La seconde partie porte sur les méthodes décisionnelles basées sur des tableaux pour les logiques modales et temporelles.

Pré-requis : connaissances de base en logique classique et vérification formelle

Planning des cours

Programme détaillé des cours