4th International Workshop on
Harnessing Theories for Tool Support in Software
TTSS'10
15. November 2010,
East China Normal University
Satellite event of
ICFEM 2010
4th International Workshop on
Harnessing Theories for Tool Support in Software
TTSS'10
15. November 2010,
East China Normal University
Satellite event of
ICFEM 2010
| Program Chairs | |
| Min Zhang | East China Normal University, China |
| Volker Stolz | University of Oslo, NO & UNU-IIST, Macau SAR, China |
| Program Committee Members | |
| Luis Barbosa | Universidade do Minho, Portugal |
| Wei Dong | National University of Defense Technology, China |
| Clemens Grelck | University of Amsterdam, NL |
| Ralf Huuck | NICTA, Australia |
| Peter Gorm Larsen | Engineering College of Aarhus, DK |
| Einar B. Johnsen | University of Oslo, Norway |
| Carlo Montangero | University of Pisa, Italy |
| Thomas Noll | RWTH Aachen University, Germany |
| Jun Pang | Univ. Luxembourg, Luxembourg |
| Anders P. Ravn | Aalborg University, Denmark |
| Wuwei Shen | Western Michigan University, US |
| Axel Simon | TU München, Germany |
| Meng Sun | Peking University, China |
| R. Venkatesh | TATA, India |
| Michael Weber | Univ. Twente, The Netherlands |
| Naijun Zhan | Institute of Software, CAS, China |
| 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 |