3rd International Workshop on
Harnessing Theories for Tool Support in Software
TTSS'09
17. August 2009,
Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur
Satellite event of
ICTAC 2009
3rd International Workshop on
Harnessing Theories for Tool Support in Software
TTSS'09
17. August 2009,
Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur
Satellite event of
ICTAC 2009
| Program Chairs | |
| Einar Broch Johnsen | Univ. Oslo, Norway |
| Volker Stolz | UNU-IIST, Macau SAR, China |
| Program Committee Members | |
| Wolfgang Ahrendt | Chalmers Univ., Sweden |
| Bernhard Aichernig | TU Graz, Austria |
| Farhad Arbab | CWI, The Netherlands |
| Luis Barbosa | Universidade do Minho, Portugal |
| David Clarke | K.U. Leuven, Belgium |
| Ralf Huuck | NICTA, Australia |
| Kung-Kiu Lau | Manchester University, UK |
| Jing Liu | ECNU, China |
| Markus Lumpe | Iowa State University, USA |
| Jun Pang | U.Luxembourg, Luxembourg |
| Anders P. Ravn | Aalborg University, Denmark |
| Abhik Roychoudhury | NUS, Singapore |
| Bernhard Schätz | TU Munich, Germany |
| Heinrich Schmidt | RMIT University, Australia |
| Petr Tůma | Charles University, Czech Republic |
| Marcel Verhoef | CHESS, The Netherlands |
| Michael Weber | U.Twente, The Netherlands |
| Herbert Wiklicky | Imperial College London, UK |
| Gianluigi Zavattaro | Univ. Bologna, Italy |
| Advisors | |
| Patrick Cousot | ENS, France |
| Jifeng He | ECNU, China |
| Mathai Joseph | TATA, India |
| Zhiming Liu | UNU-IIST, Macau SAR, China |
| Bertrand Meyer | ETH Zurich, Switzerland |
| Jim Woodcock | Univ. of York, UK |