Désolé, les candidatures sont closes pour le sujet :
Vérification de propriétés dynamiques pour une famille de modèles hybrides. Application au contrôle des épidémies
Dates d'ouverture des candidatures :
Vendredi 15 Mars 2024 - Lundi 15 Avril 2024