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

• EIAH'2025 Lille

  June 10, 2025

• The Pixelles

  June 11, 2025

• RITMEA Workshop

  June 13, 2025

• Techdays 2RM / TIRREX

  June 17, 2025

• Seminar Axe AI

  Pierre Tirrily / Gaspard Goupy June 20, 2025 at 2:00 pm

• Conference PAAMS

  June 25, 2025

• Polaris Colloquium

  Giuseppe Lipari June 26, 2025 at 2:00 pm

• Seminar

  Renato Mancuso July 1, 2025 at 2:00 pm

• Workshop

  July 1, 2025

Defenses

• Juan Pablo Sepulveda Adriazola (thesis)

  June 17, 2025 at 2:00 pm

More news