Upcoming Talks

Ist logo

Program Invariants

Date: Tuesday, May 29, 2018 15:45 - 18:00
Speaker: Joël Ouaknine (Max Planck Institute, Saarland)
Location: Mondi Seminar Room 2, Central Building
Series: CS Talk Series
Host: Tom Henzinger
Contact: NOVOTNY Petr

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 quantum computing, group theory, and algebraic geometry. This is joint work with Ehud Hrushovski, Amaury Pouly, and James Worrell.
Qr image
Download ICS Download invitation
Back to eventlist