Visible to the public PV@CONCUR 2014

Submitted by Anonymous on Fri, 08/01/2014 - 2:00pm
Sep 06, 2014 8:00 am - 5:00 pm EDT

First Workshop on Parameterized Verification

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 home page of the workshop is at the URL:
http://www.disi.unige.it/person/DelzannoG/PV/PV14/

The preliminary program of the first edition of the workshop is
available at the address:
http://www.disi.unige.it/person/DelzannoG/PV/PV14/pv_program.pdf

Registration details (Concur and related events) are available at the
URL:
http://concur2014.org/reg_fees.php

Event Details
Location: 
Rome, Italy
URL: 
http://www.disi.unige.it/person/DelzannoG/PV/PV14/