Aller au contenu
Aller au fil d'ariane
Espace ADUM
FR
|
EN
Doctorat Toulouse
DOCTORAT DE L'UNIVERSITE DE TOULOUSE
l'École des Docteurs de Toulouse (EDT)
Les établissements
Les écoles doctorales
Conseil de la politique doctorale
FAIRE UN
DOCTORAT
Faire un doctorat
Vie doctorante
S'inscrire / se réinscrire
Cotutelle de thèse
Soutenir sa thèse
Dérogation HDR
LES FORMATIONS
Les offres de formation
Les itinéraires de formation
S'inscrire
INTERNATIONALISATION
Les programmes
Programme China Scholarship Council (CSC)
La mobilité internationale
Banque internationale de sujets
APRÈS LE
DOCTORAT
L'observatoire du doctorat
Toulouse Alumni Docteurs
Les offres d'emploi
Clara LEROUVILLOIS - Thèse en cours
Doctorat Informatique et Télécommunications
-
Université de Toulouse
Ecole doctorale
:
EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse
Sujet
: Asynchronie en Logique Epistémique Dynamique
Mots-clés de la thèse
: Asynchronie,Logique Epistémique Dynamique,Systèmes Distribués,Logique Modale,
Direction de thèse
: Hans VAN DITMARSCH
Co-direction de thèse
: Francesca POGGIOLESI
Co-encadrement de thèse
: Philippe BALBIANI
Unité de recherche :
IRIT : Institut de Recherche en Informatique de Toulouse UMR 5505
- Toulouse
Intitulé de l'équipe :
LILAC - Logique, Interaction, Langue, et Calcul
Master - Master de Philosophie
obtenu en 2024 - Sorbonne Université
Option :
Logique et Philosophie des Sciences
Langues Vivantes :
Anglais
C1 - Avancé -
Espagnol
C1 - Avancé -
Italien
B2 - Intermédiaire supérieur -
Français
C2 - Maternel
Dernière mise à jour le 1 juillet 2024