posted by user: giorgiodelzanno || 922 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
IPEC 2017   12th International Symposium on Parameterized and Exact Computation
HVC 2017   Haifa Verification Conference
ICFEM 2017   19th International Conference on Formal Engineering Methods
ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)
RPG 2018   7th International Conference on Renewable Power Generation
IEEE ISNCC 2018   2018 IEEE International Symposium on Networks, Computers and Communications
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
PADS 2018   2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
ANTS 2018   International Conference on Swarm Intelligence