Médaille de bronze Software Verification Competition 2023 (SV-Comp)

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

En savoir plus...

Agenda

• Magnet Seminar

  Nikita P. Kalinin 19 février 2026 à 11h

• Systems & Control Seminar

  Radoslaw Patelski 25 février 2026 à 13h30

• Sciences infusent

  du 24 au 26 mars 2026

• École SED

  du 25 au 27 mars 2026

• WISG

  du 25 au 26 mars 2026

• Colloquium Polaris

  Thomas Leimkuehler 26 mars 2026 à 14h

• JIM 2026

  du 15 au 18 juin 2026

• JRD-AGITSI-2026

  25 juin 2026

Soutenances

• Danilo Rodrigues de lima (thèse)

  24 février 2026 à 14h30

Plus d'actualités