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.
from June 29 to July 3, 2026
July 2, 2026 at 8:30 AM
from August 31 to September 4, 2026
from October 5 to 7, 2026
from October 19 to 23, 2026
from November 23 to 27, 2026
July 6, 2026 at 12 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