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

• Systems & Control Seminar

  Radoslaw Patelski February 25, 2026 at 1:30 PM

• Sciences infusent

  from March 24 to 26, 2026

• École SED

  from March 25 to 27, 2026

• WISG

  from March 25 to 26, 2026

• Colloquium Polaris

  Thomas Leimkuehler March 26, 2026 at 2 PM

• JIM 2026

  from June 15 to 18, 2026

• JRD-AGITSI-2026

  June 25, 2026

Defenses

• Danilo Rodrigues de lima (thesis)

  February 24, 2026 at 2:30 PM

More news