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 (Google Cloud) – Applying AI and Formal Methods towards improving Google Cloud Security
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.
