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 Valse

  Mohamed Yassine Arkhis (Inria), Danilo Lima (Inria) et Manuel Mera (IPN, Mexico) 27 novembre 2025 à 10:30

• Commission Parité

  5 décembre 2025 à 12:15

• Stage 3ème

  15 décembre 2025

• Colloquium Polaris

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

• Séminaire

  Léodasce Sewanou 20 janvier 2026 à 10:15

• Stage 3ème mixte

  26 janvier 2026

Soutenances

• Méricel Ayamou (thèse)

  28 novembre 2025 à 09:30

• Hugo Monfleur (thèse)

  28 novembre 2025 à 10:00

• Nahuel Palumbo (thèse)

  28 novembre 2025 à 10:00

• Antoine Geimer (thèse)

  2 décembre 2025 à 15:00

• Jiali Xu (thèse)

  3 décembre 2025 à 14:00

• Rabah Ouali (thèse)

  4 décembre 2025 à 14:00

• Gabriel Darbord (thèse)

  5 décembre 2025 à 09:30

• Alexandre Bonvoisin (thèse)

  5 décembre 2025 à 14:00

• Maxime Bouton (thèse)

  9 décembre 2025 à 10:00

• Azouaou Ouyoucef (thèse)

  9 décembre 2025 à 15:00

• Tifaout Almeftah (thèse)

  10 décembre 2025 à 14:00

Plus d'actualités