posted by user: giorgiodelzanno || 907 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
GandALF 2017   Symposium on Games, Automata, Logics, and Formal Verification
IPEC 2017   12th International Symposium on Parameterized and Exact Computation
ICFEM 2017   19th International Conference on Formal Engineering Methods
HVC 2017   Haifa Verification Conference
SECURWARE 2017   The Eleventh International Conference on Emerging Security Information, Systems and Technologies
ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
ATVA 2017   15th International Symposium on Automated Technology for Verification and Analysis
CLiC-it 2017   Fourth Italian Conference on Computational Linguistics