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.
May 25, 2025
June 10, 2025
June 13, 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