Thought Experiment is a new series of informal events bringing together leading researchers and experts at the intersection of AI, security, and formal methods. Our goal is to create a space where different communities can meet, exchange ideas, and explore how advances in AI are reshaping security and formal methods, as well as how insights from these fields can contribute to building more trustworthy AI systems.
Co-hosted by PR[AI]RIE & Cryspen
Speakers:
Benedikt Bollig (CNRS) – Can We Make AI Agents Coordinate Safely?
Úlfar Erlingsson (Distinguished Engineer, Google) – Petrifying the dungheap: Better software through bookkeeping
Lê Nguyên Hoang (Assistant Professor at Telecom Paris in AI Security) -AI Tools to Democratically Govern AIs
Program
- Short presentations: High-level insights from leading researchers and experts in AI, security, and formal methods.
- Open discussion: Exchange ideas, debate emerging challenges, and foster interdisciplinary collaborations.
- The event will conclude with a cocktail reception for further discussion and informal exchanges.
