posted by user: giorgiodelzanno || 888 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
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
CAV 2017   29th International Conference on Computer-Aided Verification
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
NLPIT 2017   The 3rd International Workshop on Natural Language Processing for Informal Text
ATVA 2017   15th International Symposium on Automated Technology for Verification and Analysis
RV 2017   The 17th International Conference on Runtime Verification