INFINITY 2020
22nd International Workshop on Verification
of Infinite-State Systems

A Satellite Workshop of ICALP 2020 and LICS 2020


July 7, 2020
Saarbr├╝cken, Germany




There is already a Call for presentations!

And a poster