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

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.

En savoir plus...

Agenda

• Séminaire

  FR TTM 5 novembre 2025 à 10:30

• Séminaire IA

  Mihaly Petreczky 7 novembre 2025 à 14:00

• Séminaire NVS

  Philippe Preux 13 novembre 2025 à 13:30

• Séminaire COSMAC

  21 novembre 2025 à 09:30

• Colloquium Polaris

  Sarah Cohen-Boulakia 18 décembre 2025 à 14:00

Soutenances

• Dinh-viet-toan Le (thèse)

  3 novembre 2025 à 14:30

• Louis Roussel (thèse)

  7 novembre 2025 à 14:00

Plus d'actualités