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 scientifique

Voir l'agenda complet »

• Exposition

  from May 20 to June 20, 2026

• Exposition

  from May 20 to June 14, 2026

• Semaine de l'IA HdF

  from June 11 to 19, 2026

• JIM 2026

  from June 15 to 18, 2026

• Réunion annuelle GT CO2

  June 18, 2026 at 9 AM

• JRD-AGITSI-2026

  June 25, 2026

• Summer School

  from June 29 to July 3, 2026

• CASC 2026

  from August 31 to September 4, 2026

• EWRL 2026

  from October 5 to 7, 2026

• IHM 2026

  from October 19 to 23, 2026

Defenses

• Yann Berthelot (thesis)

  June 19, 2026 at 2 PM