posted by user: giorgiodelzanno || 807 views || tracked by 1 users: [display]

PV 2014 : PV@CONCUR 2014: First Workshop on Parameterized Verification, September 6, 2014, Rome, Italy


When Sep 6, 2014 - Sep 6, 2014
Where Rome
Submission Deadline TBD

Call For Papers


First Workshop on Parameterized Verification
September 6, 2014, Rome, Italy

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 preliminary program of the first edition of the workshop is available at the address:

The early registration deadline is July 27.

See you in Rome!

Related Resources

ICSD 2016   4th International Conference on Sustainable Development, 16 - 17 September 2016 Rome, Italy
ICSD 2017   5th International Conference on Sustainable Development, 6 - 7 September 2017 Rome, Italy
ICST 2017   IEEE International Conference on Software Testing, Verification and Validation (ICST) 2017
ATVA 2016   14th International Symposium on Automated Technology for Verification and Analysis
GCAI 2016   GCAI 2016, CfP, 2nd Global Conference on Artificial Intelligence, Berlin, Germany, 29th September - 2nd October 2016
TIME 2016   23rd International Symposium on Temporal Representation and Reasoning
ACSIJ v5 i4 July 2016   Advances in Computer Science : an International Journal
VMCAI 2017   International Conference on Verification, Model Checking,and Abstract Interpretation
HVC 2016   Haifa Verification Conference
CAV 2017   29th International Conference on Computer-Aided Verification