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

• EIAH'2025 Lille

  10 juin 2025

• Les Pixelles

  11 juin 2025

• Workshop RITMEA

  13 juin 2025

• Techdays 2RM / TIRREX

  17 juin 2025

• Séminaire Axe IA

  Pierre Tirrily / Gaspard Goupy 20 juin 2025 à 14:00

• Conférence PAAMS

  25 juin 2025

• Colloquium Polaris

  Giuseppe Lipari 26 juin 2025 à 14:00

• Séminaire

  Renato Mancuso 1 juillet 2025 à 14:00

• Atelier

  1 juillet 2025

Plus d'actualités