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

• Séminaire

  FR TTM 5 novembre 2025 à 10:30

• Séminaire N. Papernot

  Nicolas Papernot 5 novembre 2025 à 13:30

• Séminaire IA

  Mihaly Petreczky 7 novembre 2025 à 14:00

• Girls Only

  13 novembre 2025

• Séminaire NVS

  Philippe Preux 13 novembre 2025 à 13:30

• Séminaire COSMAC

  21 novembre 2025 à 09:30

• Séminaire GeoGen3DHuman

  26 novembre 2025 à 09:00

• Colloquium Polaris

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

Soutenances

• Louis Roussel (thèse)

  7 novembre 2025 à 14:00

• Tychique Nzalalemba kabwangala (thèse)

  10 novembre 2025 à 10:00

• Yifan Wang (thèse)

  12 novembre 2025 à 09:30

Plus d'actualités