24th International Workshop on Verification of Infinite-State Systems#

• INFINITY 2026 is a 1-day satellite workshop of ICALP 2026
• Royal Holloway, University of London (Egham, UK)
• Monday, July 6, 2026

The aim of the INFINITY workshop 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. The focus of this year’s edition of INFINITY is on fine-grained questions in automata theory and verification.

Typical examples of infinite-state systems include models such as Vector Addition Systems (VAS), Petri nets, and automata with data structures, which correspond to key classes of systems studied in the ICALP Track B community. At the same time, in the ICALP Track A community a theory of fine-grained complexity has developed, aiming to obtain precise lower bounds on the running time, usually conditional on well-established hypotheses.

The goal of this workshop is to bring together researchers from both communities to exchange recent developments, identify common challenges, and foster new collaborations.