A public seminar organized by the chaire Architecture des Systèmes Complexes at Institut Polytechnique de Paris. In-person sessions are cohosted with the IDIA/FCS seminar. Subscribe to our mailing list and calendar. We meet at 14:00 Paris time.

Coming next:

• Amy Zhang (UT Austin), Fri 31 Oct 2025 (zoom).
• Ufuk Topcu (UT Austin), Wed 19 Nov 2025 (in person & zoom).

Speaker	Title	Date	Recording
Vadim Malvone	Formal verification for multi-agent systems: Theory and practice	Oct 22, 2025	▶
Inigo Incer	Designing complex systems using assume-guarantee contracts	Jul 2, 2025	▶
Gioele Zardini	Compositional design of society-critical systems: From autonomy to future mobility	Jun 10, 2025	▶