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

on 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

• HDR defence

  September 4, 2025

• HDR defence

  September 4, 2025

Defenses

• Antoine Limasset (habilitation thesis)

  September 4, 2025 at 9:00 am

• Camille Marchet Picy (habilitation thesis)

  September 4, 2025 at 1:30 pm

More news