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

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

FacebookTwitterLinkedInGoogle

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

Call For Papers

----------------------------------------------------------------------------------------

PV@CONCUR 2014
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:
http://www.disi.unige.it/person/DelzannoG/PV/PV14/

The early registration deadline is July 27.
http://concur2014.org/reg_fees.php
http://www.easyconferences.eu/tcs2014/reg_fees.php
http://www.cs.le.ac.uk/events/tgc2014/index.html#registration

See you in Rome!

Related Resources

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
VMCAI 2017   International Conference on Verification, Model Checking,and Abstract Interpretation
ICFEM 2017   19th International Conference on Formal Engineering Methods
CAV 2017   29th International Conference on Computer-Aided Verification
FSEN 2017   Fundamentals of Software Engineering
IFIP SEC 2017   32nd IFIP TC-11 International Information Security and Privacy Conference
SECURWARE 2017   The Eleventh International Conference on Emerging Security Information, Systems and Technologies
VPT 2017   Fifth International Workshop on Verification and Program Transformation
ICWE 2017   17th International Conference on Web Engineering