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 |