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.
January 6, 2026 at 2 PM
Léodasce Sewanou January 20, 2026 at 10:15 AM
from January 22 to 23, 2026
Rochdi Merzouki January 22, 2026
from January 26 to 30, 2026
from March 25 to 27, 2026
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