infinity 2012 - 14th International Workshop Infinity 2012

14th International Workshop Infinity 2012
Organized by Mohamed Faouzi Atig, Uppsala University
The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmictechniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems. Topics of interest include (but are not limited to): infinite-statemodels of software/hardware systems; abstraction techniques for infinite-statesystems; symbolic analysis techniques and data structures for representing infinite state spaces; model-checking, static analysis, abstract interpretation, preorder/equivalence-checking, and control synthesis for infinite-statesystems; parameterized networks of parallel processes, dynamic networks, mobile systems; systems with unbounded dynamic data and control structures; probabilistic and timed systems; games in modeling and verification ofinfinite-state systems; verification techniques for security properties, cryptographic protocols, systems biology.
more info at http://www.it.uu.se/workshop/infinity2012/