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.
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