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.
September 4, 2025
September 4, 2025 at 9:00 am
September 4, 2025 at 1:30 pm
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