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 »

• Summer School

  du 29 juin au 3 juillet 2026

• Workshop RITMEA Axe 3

  2 juillet 2026 à 08h30

• Séminaire Axe IA

  Rémy Degenne 3 juillet 2026 à 14h30

• CASC 2026

  du 31 août au 4 septembre 2026

• EWRL 2026

  du 5 au 7 octobre 2026

• IHM 2026

  du 19 au 23 octobre 2026

• SOFA WEEK 2026

  du 23 au 27 novembre 2026

Soutenances

• Rémy Raes (thèse)

  6 juillet 2026 à 00h