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 scientifique

Voir l'agenda complet »

• Systems & Control Seminar

  Mohamed Arkhis April 29, 2026 at 1:30 PM

• Colloquium Polaris

  Felienne Hermans April 30, 2026 at 2 PM

• JIM 2026

  from June 15 to 18, 2026

• JRD-AGITSI-2026

  June 25, 2026

• Summer School

  from June 29 to July 3, 2026

• IHM 2026

  from October 19 to 23, 2026

Defenses

• Nathalia Wolf (thesis)

  April 30, 2026 at 3 PM