posted by user: giorgiodelzanno || 941 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

Sustainable Development Rome, Italy 2018   6th International Conference on Sustainable Development,12 - 13 September ICSD 2018
ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
RPG 2018   7th International Conference on Renewable Power Generation
EUSIPCO 2018   26th European Signal Processing Conference
CONCUR 2018   29th International Conference on Concurrency Theory
ANTS 2018   International Conference on Swarm Intelligence
CAV 2018   Computer Aided Verification
IEEE ICDL EPIROB 2018   8th IEEE ICDL EPIROB 2018, 17-20 september 2018, Tokyo, Japan
ACHI 2018   The Eleventh International Conference on Advances in Computer-Human Interactions