Mardi 22 octobre 2024
Master 1 Informatique
Stage sur la logique Bunched Implication (juin–juillet 2024)
UE S7 Complexité et calculabilité
UE S8 Introduction à la vérification
Licence 3 Informatique
Stage sur GenGraph (mai–juin 2023)
UE S5 Algorithmique des graphes
UE S5 Modèles de la programmation et du calcul
UE S5 Programmation orientée objet
UE S5 Programmation système