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.

Next: Jandson S. Ribeiro (Cardiff University) on Mon 18 May 2026
A tour through knowledge dynamics: To infinity and beyond

Table 1: Archives

Speaker	Affiliation	Title	Recording
Antonis Kakas	University of Cyprus	Reliable reasoning via LLMs integrated with symbolic argumentation	▶
Panagiotis Kouvaros	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	▶