PV 2015: Second Workshop on Parameterized Verification co-located with CONCUR 2015 September 4-5, 2015, Madrid
Call for Participation Parameterized Verification (PV) is the task of verifying the correctness of systems composed of a finite but arbitrary number of identical components. The workshop is aimed at bringing together researchers working on PV in areas like Concurrent Software, Protocols, Distributed Algorithms, and Hardware Design. The program and registration details of the second edition of the workshop are available at the address: http://pv.dibris.unige.it/
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
