INFINITY 2023

23^rd International Workshop on Verification of Infinite-State Systems

Aim:

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 plan is to discuss recent results, emerging research directions, promising applications, open problems and stimulate cooperation among researchers working in the field of counter systems.

Topics:

Topics of interest include (but are not limited to):

• Infinite-state models of software/hardware systems
• Vector Addition Systems aka Petri nets
• Counter and pushdown systems
• Probabilistic and timed systems
• Parameterised systems
• Model-checking, static analysis, symbolic analysis, abstraction techniques, abstract interpretation, preorder/equivalence-checking, and control synthesis for infinite-state systems

Call for Presentations

Program

Organisation

Infinity 2023 is organised by David Purser and Filip Mazowiecki as part of CONFEST 2023.

Contact: and f.mazowiecki[obvious-symbol]uw.edu.pl.

Infinity 2023 takes place in person as a workshop at CONFEST 2023 in Antwerp, Belgium. See the CONFEST website for location and venue details. Registration will be handled by CONFEST.

Past Events

• Infinity 2020, Online
• Infinity 2019, Taipei, Taiwan
• Infinity 2018, Prague, Czech Republic
• Infinity 2017, Reykjavik, Iceland
• Infinity 2016, Singapore, Singapore
• Infinity 2015, Bangalore, India
• Infinity 2014, New Delhi, India
• Infinity 2013, Hanoi, Vietnam
• Infinity 2012, Paris, France
• Infinity 2011, Taipei, Taiwan
• Infinity 2010, Singapore, Singapore
• Infinity 2009, Bologna, Italy
• Infinity 2008, Toronto, Canada
• Infinity 2007, Lisbon, Portugal
• Infinity 2006, Bonn, Germany
• Infinity 2005, San Francisco, USA
• Infinity 2004, London, UK
• Infinity 2003, Marseilles, France
• Infinity 2002, Brno, Czech Republic
• Infinity 1998, Aalborg, Denmark
• Infinity 1997, Bologna, Italy
• Infinity 1996, Pisa, Italy