Workshop Committees

Workshop Co-Chairs

Vaclav Skala, Department of Computer Science, University of West Bohemia, Plzen, Czech Republic
Piotr Nienaltowski, Department of Informatics, ETH Zurich, Switzerland

International Programme Committee

Barnett, Mike (MSR - Redmond, USA)
Bishop, Judith (University of Pretoria, South Africa)
Cisternino, Antonio (University of Pisa, Italy)
Huisman, Marieke (INRIA, France)
Kolar, Josef (Czech Technical University, Czech Republic)
Leino, Rustan (MSR - Redmond, USA)
Mueller, Peter (ETH-Zurich, Switzerland)
Perry, Nigel (University of Canterbury, New Zealand)
Riveill, Michel (University of Nice, France)
Safonov, Vladimir (Sankt Peterburg University, Russia)
Sturm, Peter (University of Trier, Germany)
Syme, Don (MSR-Cambridge, U.K.)
Vogels, Werner (Cornell University, USA)

Technical Program Committee

Marie-Helene Ng Cheong Vee, Birkbeck College, University of London, England
Andre Hagehulsmann, Microsoft Research, U.K. 
Jan Stoklasa, Microsoft, Czech Republic
Jan Toman, Microsoft, Czech Republic

Local Organization Committee