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

Martin Cermak
Martin Franc

Milan Frank
Ivo Hanak
Tomas Hlavaty
Jan Hradek
Tomas Jirka
Josef Kohout
Jan Patera

Radek Svitak

Petr Vanecek
Michal Varnuska
Karel Uhlir