13ème compétition Software Verifiction (SV-COMP2024)

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.

En savoir plus...

Agenda scientifique

Voir l'agenda complet »

• Systems & Control Seminar

  Mohamed Arkhis 29 avril 2026 à 13h30

• Colloquium Polaris

  Felienne Hermans 30 avril 2026 à 14h

• JIM 2026

  du 15 au 18 juin 2026

• JRD-AGITSI-2026

  25 juin 2026

• Summer School

  du 29 juin au 3 juillet 2026

• IHM 2026

  du 19 au 23 octobre 2026