Bronze medal Software Verification Competition 2023 (SV-Comp)

on April 24, 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

More...

Agenda

• Seminar Valse

  Mohamed Yassine Arkhis (Inria), Danilo Lima (Inria) et Manuel Mera (IPN, Mexico) November 27, 2025 at 10:30 am

• December 5, 2025 at 12:15 pm

• December 15, 2025

• Polaris Colloquium

  Sarah Cohen-Boulakia December 18, 2025 at 2:00 pm

• Seminar

  Léodasce Sewanou January 20, 2026 at 10:15 am

• January 26, 2026

Defenses

• Méricel Ayamou (thesis)

  November 28, 2025 at 9:30 am

• Hugo Monfleur (thesis)

  November 28, 2025 at 10:00 am

• Nahuel Palumbo (thesis)

  November 28, 2025 at 10:00 am

• Antoine Geimer (thesis)

  December 2, 2025 at 3:00 pm

• Jiali Xu (thesis)

  December 3, 2025 at 2:00 pm

• Rabah Ouali (thesis)

  December 4, 2025 at 2:00 pm

• Gabriel Darbord (thesis)

  December 5, 2025 at 9:30 am

• Alexandre Bonvoisin (thesis)

  December 5, 2025 at 2:00 pm

• Maxime Bouton (thesis)

  December 9, 2025 at 10:00 am

• Azouaou Ouyoucef (thesis)

  December 9, 2025 at 3:00 pm

• Tifaout Almeftah (thesis)

  December 10, 2025 at 2:00 pm

More news