A public seminar at Institut Polytechnique de Paris organized by the chaire Architecture des Systèmes Complexes. In-person sessions are cohosted with the IDIA/FCS seminar.

Subscribe to our:
✉️ mailing list and
🗓️ calendar.

🕑 We meet at 14:00 Paris time.

Table 1: Archives

Speaker	Affiliation	Title	Recording
Panagiotis Kouvaros	University of Limassol & Safe Intelligence	Formal verification of AI systems	▶
Ufuk Topcu	The University of Texas at Austin	Multi-modal, pre-trained models in verifiable sequential decision-making	▶
Amy Zhang	The University of Texas at Austin	Successor measures and self-supervised reinforcement learning	▶
Vadim Malvone	Institut Polytechnique de Paris	Formal verification for multi-agent systems: Theory and practice	▶
Inigo Incer	University of Michigan	Designing complex systems using assume-guarantee contracts	▶
Gioele Zardini	MIT	Compositional design of society-critical systems: From autonomy to future mobility	▶