Évènements

Ivan Hasenohr

Ivan Hasenohr

13 novembre 2025 @ 11h00 – 12h00 –

Preuves assistées par ordinateur pour l’atteignabilité de systèmes de contrôle linéaires sous contraintes bornées

Keanu Sisouk

Keanu Sisouk

14 novembre 2025 @ 10h00 – 17h00 –

Wasserstein barycenters of persistence diagrams and applications

Ivan Hasenohr

Ivan Hasenohr

20 novembre 2025 @ 13h30 – 19h00 –

Computer-assisted Proofs of Reachability Analysis for Linear Control Systems under Bounded Constraints