A Concur Workshop on Parameterized Verification
Rome, Sept 6, 2013

Systems composed of a finite but possibly arbitrary number of identical components occur everywhere:
The workshop is aimed at bringing together researchers working on Parameterized Verification using different 
specification formalism (e.g, programs, automata and logic, rewriting, Petri nets, …), validation methods (e.g. regular model checking, reachability and coverability algorithms, abstractions, theorem proving,…), and application domains (e.g. hardware design, cache coherence protocols, security and communication protocols, multithreaded and concurrent programs, programs with relaxed memory models, mobile and distributed systems,  database languages and systems, biological systems).

Giorgio Delzanno and Parosh A. Abdulla