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

• December 5, 2025 at 12:15 pm

• Seminar

  Divya MISHRA December 11, 2025 at 4:30 pm

• December 15, 2025

• December 15, 2025

• Polaris Colloquium

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

• Jan Ramon December 19, 2025 at 2:00 pm

• Seminar

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

• January 26, 2026

• March 25, 2026

Defenses

• 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

• Alice Loizeau (thesis)

  December 9, 2025 at 2:00 pm

• Penanklihi Cyrille Kone (thesis)

  December 9, 2025 at 3:00 pm

• Azouaou Ouyoucef (thesis)

  December 9, 2025 at 3:00 pm

• Tifaout Almeftah (thesis)

  December 10, 2025 at 2:00 pm

• Hector Kohler (thesis)

  December 10, 2025 at 2:30 pm

• Raphaël Perraud (thesis)

  December 10, 2025 at 2:30 pm

• Marc Damie (thesis)

  December 11, 2025 at 2:00 pm

• Aurélie Saulquin (thesis)

  December 12, 2025 at 2:00 pm

• Hadrien Salem (thesis)

  December 15, 2025 at 10:00 am

• Gaël Van Der Lee (thesis)

  December 15, 2025 at 1:00 pm

• Léa Vandamme (thesis)

  December 18, 2025 at 3:00 pm

• Francesco Morri (thesis)

  December 19, 2025 at 10:00 am

More news