INFINITY 2020
22
nd
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