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 NVS

  Philippe Preux 9 octobre 2025 à 14:00

• Conférence

  Pierre Tirilly 11 octobre 2025 à 15:30

• Soutenance HDR

  13 octobre 2025

• Colloquium Polaris

  Cyril Nicaud 16 octobre 2025 à 14:00

• Colloquium Polaris

  Felienne Hermans 20 novembre 2025 à 14:00

• Colloquium Polaris

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

Soutenances

• Pierre Laperdrix (hdr)

  13 octobre 2025 à 13:30

Plus d'actualités