joint work with Sławomir Lasota, Ranko Lazic, Jerome Leroux and Filip Mazowiecki

Speaker(s)

Wojciech Czerwiński

Affiliation

Uniwersytet Warszawski

Date

Jan. 15, 2020, 2:15 p.m.

Room

room 5050

Title in Polish

Reachability problem for fixed dimensional VASSes

Seminar

Seminar Automata Theory

---

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.

---