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

• Seminar NVS

  Philippe Preux October 9, 2025 at 2:00 pm

• Conference

  Pierre Tirilly October 11, 2025 at 3:30 pm

• HDR defence

  October 13, 2025

• Polaris Colloquium

  Cyril Nicaud October 16, 2025 at 2:00 pm

• Polaris Colloquium

  Felienne Hermans November 20, 2025 at 2:00 pm

• Polaris Colloquium

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

Defenses

• Pierre Laperdrix (habilitation thesis)

  October 13, 2025 at 1:30 pm

More news