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

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.