Nie jesteś zalogowany | Zaloguj się

Reachability problem for fixed dimensional VASSes

Prelegent(ci)
Wojciech Czerwiński
Afiliacja
Uniwersytet Warszawski
Termin
15 stycznia 2020 14:15
Pokój
p. 5050
Seminarium
Seminarium „Teoria automatów”

I will present a few recent results about reachability problem for fixed dimensional VASSes.
There results invalidate some previously posed conjectures and show that the problem is harder than previously expected to be.