Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Program Invariants
Speaker:Joël Ouaknine
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:SWS Colloquium
Visibility:SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Friday, 29 June 2018
Time:11:30
Duration:60 Minutes
Location:Saarbrücken
Building:G26
Room:111
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
Name(s):Annika Meiser
Phone:068193039105
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:YesTo Location:Saarbrücken
To Building:E1 5To Room:029
Meeting ID:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):

Created:
Annika Meiser/MPI-SWS, 06/25/2018 12:02 PM
Last modified:
Uwe Brahm/MPII/DE, 06/29/2018 07:01 AM
  • Annika Meiser, 06/25/2018 12:13 PM
  • Annika Meiser, 06/25/2018 12:08 PM -- Created document.