Infinity 2026 on INFINITY 2026

About

Mon, 01 Jan 0001 00:00:00 +0000

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.

Invited speakers

Mon, 01 Jan 0001 00:00:00 +0000

TBA

Register

Mon, 01 Jan 0001 00:00:00 +0000

Registration is required for attendance and is handled via the main ICALP registration system (to open soon).

Local info

Mon, 01 Jan 0001 00:00:00 +0000

The workshop will take place in person at Royal Holloway, University of London, UK, as a satellite workshop of ICALP 2026. Royal Holloway is located in Egham, Surrey, which is approximately 20 miles (40 minutes by rail) from central London.

The campus is a 15-20 minute walk from Egham station, which has regular train services from London Waterloo and Reading. For guidance on travel and accommodation, as well as local information and suggested hotels, we recommend checking the main ICALP website.

Acknowledgements

Mon, 01 Jan 0001 00:00:00 +0000

We are grateful to the Engineering and Physical Sciences Research Council (EPSRC, UK) for support. [EP/X03027X/1]

Organisation

Mon, 01 Jan 0001 00:00:00 +0000

INFINITY 2026 is organised by:

Dmitry Chistikov, University of Warwick
Radek Piórkowski, University of Warwick
Karol Węgrzycki, Max Planck Institute for Informatics

For questions about the workshop, please contact the organisers by email.

       @@@@@@@@::                          @@@@@@@:::       
    @@@@@@@@@@@@@@:..-                @@@@@@@@@@@@@@@:::    
  @@@@@@@@@@@@@@%%%##              @@@@@@@@@@@@@@@@@@@#::+  
 @@@@+::::  ::.%#***+=-         @@@@@@@@@@*:::::  @@@@@@::: 
 @@@::::          =-:.       @@@@@@@@=:::::         @@@@::: 
@@@::::                   @@@@@@@-::::::             @@@@:::
@@@::::                @@@@@@@:::::::                @@@@:::
@@@::::             @@@@@@::::::::                   @@@@:::
 @@@::::         @@@@@:::::::::           +         @@@@::: 
 @@@::::::. @@@@@:::::::::::       .:        %%@ :@@@@#:::: 
  @@@+:::::::::::::::::::          =+**  ..::::::::::::::=  
    @@@::::::::::::::+                @%@@::::::::::::::    
       @@@:::::::                          @@::::::::

Past editions

Mon, 01 Jan 0001 00:00:00 +0000

Infinity 2023, Antwerp, Belgium with CONCUR
Infinity 2020, Online with LICS and ICALP
Infinity 2019, Taipei, Taiwan with ATVA
Infinity 2018, Prague, Czech Republic with ICALP
Infinity 2017, Reykjavik, Iceland with LICS
Infinity 2016, Singapore, Singapore with Automata, Logic and Games 2016
Infinity 2015, Bangalore, India with FSTTCS
Infinity 2014, New Delhi, India with FSTTCS
Infinity 2013, Hanoi, Vietnam with ATVA
Infinity 2012, Paris, France with FM
Infinity 2011, Taipei, Taiwan with ATVA
Infinity 2010, Singapore, Singapore with ATVA
Infinity 2009, Bologna, Italy with CONCUR
Infinity 2008, Toronto, Canada with CONCUR
Infinity 2007, Lisbon, Portugal with CONCUR
Infinity 2006, Bonn, Germany with CONCUR
Infinity 2005, San Francisco, USA with CONCUR
Infinity 2004, London, UK with CONCUR
Infinity 2003, Marseilles, France with CONCUR
Infinity 2002, Brno, Czech Republic with CONCUR
Infinity 1998, Aalborg, Denmark with ICALP
Infinity 1997, Bologna, Italy with ICALP
Infinity 1996, Pisa, Italy with CONCUR