CAV 2027 welcomes Anne-Kathrin Schmuck, Dino Distefano, and Marijn Heule as keynote speakers in Amsterdam.
Anne-Kathrin Schmuck
Max Planck Institute for Software Systems (MPI-SWS)
Feedback control has long driven performant and reliable adaptation in engineered systems. Recent agentic AI systems adapt without control, gaining impressive performance without reliability. Are formal methods ready to close the loop?
Marijn Heule
Carnegie Mellon University
Automated reasoning is pushing the boundaries of mathematical discovery while providing rigorous guarantees. The underlying methods are transparent and understandable, offering insight into how mathematical breakthroughs are achieved.