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

Our sponsors:

The Research Council of Norway      The Department of Informatics      The University of Oslo       Visit Oslo