le 24 avril 2023
Le logiciel Mopsa a obtenu la médaille de bronze dans la catégorie “Software Systems” à la Software Competition 2023 (SV-COMP). Groupe Thématique SEAS
4 septembre 2025
4 septembre 2025 à 09:00
4 septembre 2025 à 13: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