le 8 avril 2024
Le logiciel Mopsa a remporté la médaille d’or dans la catégorie Software Systems lors de la Software Verification Competition 2024 (SV-COMP). Groupe Thématique SEAS.
Hélène Le Cadre / Francesco Morri 19 septembre 2025 à 14:00
Luca Abeni 2 octobre 2025 à 10:30
Toutes les dates pour être informé des rendez-vous à ne pas manquer
Nos contacts Notre annuaire Notre plan d'accès Notre organigramme
Rejoignez nos équipes de recherche
français
English