A public seminar at Institut Polytechnique de Paris organized by the chaire Architecture des Systèmes Complexes.

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

🕑 We meet at 14:00 Paris time.

Table 1: Archives

Speaker	Affiliation	Title	Recording
Kyriakos Vamvoudakis	Georgia Tech	Learning to sense and act: Data-driven sensor and actuator selection for resilient complex systems	▶
David Fridovich-Keil	UT Austin	Hierarchical, game-theoretic models of noncooperative interaction	▶
Jandson S. Ribeiro	Cardiff University	A tour through knowledge dynamics: To infinity and beyond	▶
Antonis Kakas	University of Cyprus	Reliable reasoning via LLMs integrated with symbolic argumentation	▶
Panagiotis Kouvaros	Safe Intelligence	Formal verification of AI systems	▶
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	University of Michigan	Designing complex systems using assume-guarantee contracts	▶
Gioele Zardini	MIT	Compositional design of society-critical systems: From autonomy to future mobility	▶