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.
Hélène Le Cadre / Francesco Morri September 19, 2025 at 2:00 pm
Luca Abeni October 2, 2025 at 10:30 am
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