Programme Committee |
|
Parosh Aziz Abdulla | Uppsala |
|
Franz Baader | Dresden |
|
Jos Baeten | CWI, Amsterdam |
|
Christel Baier | Dresden |
|
Gerth Stølting Brodal | Aarhus |
|
John Case | Delaware |
|
Marek Chrobak | Riverside |
|
Mariangiola Dezani | Torino |
|
Rod Downey | Wellington |
|
Ding-Zhu Du | Dallas |
|
E. Allen Emerson | Austin |
|
Javier Esparza | Technical University Munich |
|
Michael R. Fellows | Darwin |
|
Alain Finkel | ENS Cachan |
|
Dov M. Gabbay | King’s, London |
|
Jürgen Giesl | Aachen |
|
Rob van Glabbeek | NICTA, Sydney |
|
Georg Gottlob | Oxford |
|
Annegret Habel | Oldenburg |
|
Reiko Heckel | Leicester |
|
Sanjay Jain | Singapore |
|
Charanjit S. Jutla | IBM Thomas J. Watson |
|
Ming-Yang Kao | Northwestern |
|
Deepak Kapur | Albuquerque |
|
Joost-Pieter Katoen | Aachen |
|
S. Rao Kosaraju | Johns Hopkins |
|
Evangelos Kranakis | Carleton |
|
Hans-Jörg Kreowski | Bremen |
|
Tak-Wah Lam | Hong Kong |
|
Gad M. Landau | Haifa |
|
Kim G. Larsen | Aalborg |
|
Richard Lipton | Georgia Tech |
|
Jack Lutz | Iowa State |
|
Ian Mackie | École Polytechnique, Palaiseau |
|
Rupak Majumdar | Max Planck, Kaiserslautern |
|
Carlos Martín-Vide | Tarragona, chair |
|
Paliath Narendran | Albany |
|
Tobias Nipkow | Technical University Munich |
|
David A. Plaisted | Chapel Hill |
|
Jean-François Raskin | Brussels |
|
Wolfgang Reisig | Humboldt Berlin |
|
Michaël Rusinowitch | LORIA, Nancy |
|
Davide Sangiorgi | Bologna |
|
Bernhard Steffen | Dortmund |
|
Colin Stirling | Edinburgh |
|
Alfonso Valencia | CNIO, Madrid |
|
Helmut Veith | Vienna Tech |
|
Heribert Vollmer | Hannover |
|
Osamu Watanabe | Tokyo Tech |
|
Pierre Wolper | Liège |
|
Louxin Zhang | Singapore |
![[Valid RSS]](images/valid-rss-rogers.png "[Valid RSS]")