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:

• Panagiotis Kouvaros, University of Limassol & Safe Intelligence Mon 15 Dec 2025 [zoom]

Speaker	Affiliation	Title	Recording
Ufuk Topcu	UT Austin	Multi-modal, pre-trained models in verifiable sequential decision-making	▶
Amy Zhang	UT Austin	Successor measures and self-supervised reinforcement learning	▶
Vadim Malvone	IP Paris	Formal verification for multi-agent systems: Theory and practice	▶
Inigo Incer	UMich	Designing complex systems using assume-guarantee contracts	▶
Gioele Zardini	MIT	Compositional design of society-critical systems: From autonomy to future mobility	▶