on 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.
Jean-Yves Marion May 13, 2025 at 2:00 pm
May 25, 2025
June 25, 2025
July 1, 2025
Every dates to be informed about meetings not to miss
Contact us Our directory Visit us Our organizational chart
Join our research teams
français
English