Call for participation INFINITY 2020
22nd International Workshop on Verification of Infinite-State Systems
July 7, 2020, satellite workshop of ICALP and LICS 2020.
We invite you to the Infinity Workshop, which takes place this year on July the 7th as a virtual meeting. Infinity 2020 topics are concentrated around models related to Vector Addition Systems aka Petri nets. The aim of the Workshop is to discuss recent results, emerging research directions, promising applications, and stimulate cooperation among researchers working in the field of counter systems. We encourage to present also work in progress, failure reports and open problems. There are no formal proceedings, the programme will be based on presentations given by workshop participants. You can find the Call for Presentations on our webpage.
Infinity 2020 will be freely available online and no prior registration is needed. The technical details about participation will be available on the webpage around June. We would be grateful for informing us in advance by email if you plan to participate (even if only for a part of the workshop). It will help us to estimate the size of the workshop.
Wojtek Czerwiński (University of Warsaw)
Filip Mazowiecki (Max Planck Institute for Software Sciences)