Referent: Joël Ouaknine, Max Planck Institute for Software Systems, Campus Saarbrücken
Zeit: Freitag, 16.11.2018, 14:00 Uhr
Ort: Raum 48-436
Abstract:
Automated invariant generation is a fundamental challenge in program
analysis and verification, going back many decades, and remains a topic of
active research. In this talk I'll present a select overview and survey of
work on this problem, and discuss unexpected connections to other fields
including algebraic geometry, group theory, and quantum computing. (No
previous knowledge of these fields will be assumed.)
This is joint work with Ehud Hrushovski, Amaury Pouly, and James
Worrell.