The Aim of the Infinity Workshop series is to provide a forum for researchers interested in the development of mathematical techniques for the analysis and verification of systems with infinitely many states.

Infinity 2020 Topics are concentrated mostly around models related to Vector Addition Systems aka Petri nets. The Aim of Infinity 2020 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.

Presentations: Participants interested in presenting their recent work should contact directly Infinity 2020 PC chairs and propose a talk. The schedule is flexible, but the proposals should ideally arrive before June 19th, 2020.