Max-Planck-Institut für Informatik
max planck institut
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:Polynomial Invariants for Affine Programs
Speaker:Joël Ouaknine
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:AG1 Mittagsseminar (own work)
Visibility:D1, D2, D3, D4, D5, RG1, SWS, MMCI
We use this to send out email in the morning.
Level:AG Audience
Date, Time and Location
Date:Tuesday, 26 June 2018
Duration:60 Minutes
Building:E1 4
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.

Name(s):Kurt Mehlhorn
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Attachments, File(s):

Kurt Mehlhorn/AG1/MPII/DE, 06/20/2018 10:27 AM
Last modified:
halma/MPII/DE, 11/09/2018 10:49 AM
  • Kurt Mehlhorn, 06/21/2018 07:48 AM
  • Kurt Mehlhorn, 06/20/2018 10:28 AM
  • Kurt Mehlhorn, 06/20/2018 10:27 AM -- Created document.