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 2018 Topics are concentrated around algorithms and techniques for analyzing systems with one or more counters, such as counter automata, vector addition systems, Petri nets, parameterized systems, communication protocols, etc., including their stochastic and game-theoretic variants.

The Aim of Infinity 2018 is to discuss recent results, emerging research directions, promissing applications, and stimulate cooperation among researchers working in the field of counter systems. There are no formal proceedings, the programme is based on invited talks and short presentations given by workshop participants. The programme will include talks based on current research presented at top CS conferences earlier/later this year.

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