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 AI

  Mihaly Petreczky November 7, 2025 at 2:00 pm

• Girls Only

  November 13, 2025

• Seminar NVS

  Philippe Preux November 13, 2025 at 2:00 pm

• Seminar COSMAC

  November 21, 2025 at 9:30 am

• Seminar GeoGen3DHuman

  November 26, 2025 at 9:00 am

• Polaris Colloquium

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

Defenses

• Louis Roussel (thesis)

  November 7, 2025 at 2:00 pm

• Tychique Nzalalemba kabwangala (thesis)

  November 10, 2025 at 10:00 am

• Yifan Wang (thesis)

  November 12, 2025 at 9:30 am

• Tristan Coignion (thesis)

  November 13, 2025 at 1:30 pm

• Pierrick Uro (thesis)

  November 18, 2025 at 1:30 pm

More news