The PDMC workshop series was initiated in 2002 by Lubos Brim and Orna Grumberg as a reaction to the raising interest in parallel and distributed model-checking. Since then the topic became even more important due to the recent developments in the hardware technology. As a matter of fact, the scope of the workshop has been broaden to cover all methods and techniques that allow to analyse and verify large-scale systems by exploiting modern hardware architectures, like multi-core machines, clusters of workstations, external disks, or GPUs.
PDMC workshops aim to provide a working forum for presenting, sharing, and discussing recent achievements in the field. The workshops usually consist of invited talks and a selection from the submitted papers. Accepted papers are usually published within the series Electronic Notes in Theoretical Computer Science (ENTCS), Lecture Notes in Computer Science (LNCS) or Electronic Proceedings in Theoretical Computer Science. Moreover, best papers are typically invited to special issue of a prestigious journals. So far, we devised three special issues covering the scope of PDMC.
The special issues originating form the PDMC workshop series are, so far:
PDMC Steering Committee
- Lubos Brim (Masaryk University, Czech Republic) - Chair
- Hubert Garavel (INRIA, France)
- Orna Grumberg (Haifa, Israel)
- Kim Larsen (Aalborg University, Denmark)
- Martin Leucker (TU München, Germany)