Process Algebras and Performance Modeling / Probabilistic Methods In Verification
Copenhagen, Denmark, July 25-26, 2002
Affiliated with CAV 2002

Workshop web page

The Papm-Probmiv 2002 web page is located at

Aim of the workshop

The second Joint International PAPM-ProbMiV workshop addresses researchers facing probabilistic phenomena or developing probabilistic methods in the design and analysis of software and hardware systems, be it as a means to derive efficient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to design and study performance and dependability properties.

The central aim of the workshop is to increase the cross-fertilisation of ideas and techniques between areas that are usually not in regular contact through conferences.

Invited speakers