posted by user: giorgiodelzanno || 983 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
SBAC-PAD 2018   SBAC-PAD 2018, International Symposium on Computer Architecture and High Performance Computing, Lyon, France, September 24-27, 2018
EUSIPCO 2018   26th European Signal Processing Conference
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
PAAW 2018   Parameterized Approximation Algorithms Workshop
ANTS 2018   International Conference on Swarm Intelligence
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
CONCUR 2018   29th International Conference on Concurrency Theory
ICRSSH 2018   Budapest – International Conference on Research in Social Science & Humanities (ICRSSH), 24-25 September 2018
CAV 2018   Computer Aided Verification