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