3rd International Workshop on Parallel and Distributed Methods in verifiCation

PDMC 2004

Saturday 4 September 2004, London, U.K.
Affiliated to CONCUR'04 , 31 August - 3 September 2004.

 

[ Home | Call for Papers | Accepted Papers | Instructions for Authors | Programme ]

Registration Information


Please register for the workshop via the CONCOUR registration page. Early registration deadline is Friday 30 July 2004.