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:The Reachability Problem for Vector Addition Systems is Not Elementary
Speaker:Wojciech Czerwiński
coming from:University of Warsaw
Speakers Bio:Wojciech Czerwiński is an assistant professor (pol. adiunkt) at the Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw. His interests include automata and logic, more concretely infinite state systems and separability problems.
Event Type:SWS Colloquium
Visibility:D1, D2, D3, INET, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Thursday, 22 November 2018
Time:16:00
Duration:60 Minutes
Location:Kaiserslautern
Building:G26
Room:111
Abstract
I will present a recent non-elementary lower bound for the complexity of reachability problem for Vector Addition Systems. I plan to show the main insights of the proof. In particular I will present a surprising equation on fractions, which is the core of the new source of hardness found in VASes.
Contact
Name(s):Susanne Girard
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:
Susanne Girard/MPI-SWS, 10/12/2018 03:26 PM
Last modified:
Uwe Brahm/MPII/DE, 11/22/2018 07:01 AM
  • Susanne Girard, 10/12/2018 03:30 PM -- Created document.