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.
February 24, 2025
Emilie Kaufmann February 25, 2025 at 2:30 pm
March 10, 2025
March 17, 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