Bronze medal Software Verification Competition 2023 (SV-Comp)

April 24, 2023

The Mopsa Software won the bronze medal in the “Software Systems” category at the Software Competition 2023 (SV-COMP).
SEAS Thematic Group.

More...

Agenda

• Séminaire Axe NVS

  Rochdi Merzouki February 12, 2026 at 3 PM

• TECHSYS

  Mathieu Giraud, Claudio Panariello et Florent Berthaut February 12, 2026 at 2 PM

• Sciences infusent

  from March 24 to 26, 2026

• École SED

  from March 25 to 27, 2026

• JIM 2026

  from June 15 to 18, 2026

• JRD-AGITSI-2026

  June 25, 2026

Defenses

• Flavie Przybylski (thesis)

  February 6, 2026 at 3 PM

More news