Campus Event Calendar
Event Entry
What and Who
Program Invariants
Joël Ouaknine
MMCI
SWS Colloquium
SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 29 June 2018
11:30
60 Minutes
G26
111
Saarbrücken
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.
Contact
Annika Meiser
068193039105
--email hidden
Video Broadcast
Yes
Saarbrücken
E1 5
029
passcode not visible
logged in users only
Annika Meiser, 06/25/2018 12:13
Annika Meiser, 06/25/2018 12:08 -- Created document.
Annika Meiser, 06/25/2018 12:08 -- Created document.