-
Le prochain colloquium aura lieu le lundi 24 juin à 13h30 dans l'amphithéâtre. Nous aurons le plaisir d'accueillir Kristin Yvonne Rozier, chercheuse au département d'ingénierie spatiale et d'informatique d'Iowa State University. La présentation est intitulée "Rockets, Route-Analyzers, Rotorcraft, and Robonaut2: Intelligent, On-board Runtime Reasoning" et sera en anglais. Résumé : Runtime Verification (RV) has become […]


