5th International Workshop on
Harnessing Theories for Tool Support in Software
13. September 2011, Oslo, Norway
Co-located with FACS 2011
TTSS'11 Committees
Program Chairs
- Sun Meng, Peking University, China
- Volker Stolz, Univ. of Oslo, Norway
Program Committee (To be confirmed)
- Farhad Arbab, CWI, NL
- Christel Baier, TU Dresden, Germany
- Luis Barbosa, U. Minho, Portugal
- Manfred Broy, TU München, Germany
- Michael J. Butler, University of Southampton, UK
- Dave Clarke, Katholieke Universiteit Leuven, Belgium
- Ralf Huuck, NICTA, Australia
- Einar B. Johnsen, University of Oslo, Norway
- Joost-Pieter Katoen, RWTH Aachen, Germany
- Peter Gorm Larsen, Engineering College of Aarhus, DK
- Martin Leucker, University of Lübeck, Germany
- Xuandong Li, Nanjing University, China
- Jun Pang, Univ. Luxembourg, Luxembourg
- Jaco van de Pol, University of Twente, The Netherlands
- Shengchao Qin, Tees University, UK
- Anders P. Ravn, Aalborg University, DK
- Abhik Roychoudhury, NUS, Singapore
- Wuwei Shen, Western Michigan University, USA
- R. Venkatesh, TATA, India
- Erik de Vink, TU Eindhoven, the Netherlands
- Jim Woodcock, U. York, UK
- Jian Zhang, IOS, China