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

le 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

• 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