13th Competition on Software Verification (SV-COMP 2024)

April 8, 2024

The Mopsa software won the gold medal in the Software Systems category at the Software Verification Competition 2024 (SV-COMP).
SEAS Thematic Group.

More...

Agenda

• IA Axis Seminar

  Jan Ramon December 19, 2025 at 2 PM

• GT Dating Seminar

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

• Open Science & Music

  from January 22 to 23, 2026

• Séminaire Axe NVS

  Rochdi Merzouki January 22, 2026

• Stage 3ème mixte

  from January 26 to 30, 2026

• École SED

  from March 25 to 27, 2026

Defenses

• Léa Vandamme (thesis)

  December 18, 2025 at 3 PM

• Francesco Morri (thesis)

  December 19, 2025 at 10 AM

More news