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.