Date : Jeudi 9 octobre 2025 à 14h00

Lieu : Thalès Research & Technology : salle Auditorium

Titre : Vérification formelle de couches de confiance dans les logiciels : application à la TPM Software Stack

Date : Mercredi 15 octobre 2025 à 14h00

Lieu : Amphi Herbrand  - Bâtiment 3IA

Titre : Sémantique de langages de programmation fonctionnels réactifs avec effets