======================================================================================================
                                      Call For Papers
       5th International Workshop on Harnessing Theories for Tool Support in Software (TTSS'11)
                              13 September, 2011, Oslo, Norway
                    http://facs2011.ifi.uio.no/index.php?n=TTSS.TTSS2011

                                 Co-located with FACS 2011
======================================================================================================

Overview and Topics of Interest

    The aim of the workshop is to bring together practitioners and researchers from academia, industry 
and government to present and discuss ideas about: 
  - How to deal with the complexity of software projects by multi-view modeling and separation of 
    concerns about the design of functionality, interaction, concurrency, scheduling, and non-
    functional requirements, and 
  - How to ensure correctness and dependability of software by integrating formal methods and tools 
    for modeling, design, verification and validation into design and development processes and
    environments. 
  - Case studies and experience reports about harnessing static analysis tools such as model checking, 
    theorem proving, testing, as well as runtime monitoring. 

The workshop will provide enough time for discussion on problems and research. Each presentation will be 
25 minutes followed by 10 minutes discussion. Topics of interest include, but are not limited to, the 
following areas: 
    - Models, calculi, and tool support for component-based and object-oriented software; 
    - Mathematical frameworks, methods and tools for model-driven development; 
    - Models, calculi, and tool support for integrating different scheduling, interaction and concurrency 
        models in highly adaptable systems 

TTSS'11 is the 5th event in a series of workshops, founded by the International Institute for Software 
Technology of the United Nations University (UNU-IIST). The first TTSS workshop was co-located with ICTAC'07 
in Macau (September 2007). The following TTSS workshops were organized at Istanbul, Turkey (August, 2008), 
at Universiti Kebangsaan Malaysia (August, 2009) and at East China Normal University in China (November 2010). 
TTSS'11 is co-located with FACS'11 together in Oslo, Norway.

Submission and Publication

    Submissions to the workshop must present original research that is unpublished and not submitted for 
publication elsewhere. Papers will be judged on the basis of originality, relevance, technical soundness 
and presentation quality.  

Papers must be written in English and not exceed 15 pages, following the ENTCS format
(http://www.entcs.org/prelim.html). The pre-proceedings of the workshop will be published as a technical
report in the UIO report series. A special issue consisting of extended versions of selected papers from
TTSS 2011 is intended to be published in the Elsevier journal Science of Computer Programming. Selected
participants will be invited to submit an extended version of their papers after the workshop.

Papers can be submitted via the following link:
   http://www.easychair.org/conferences/?conf=ttss11


Important Dates

Submission deadline:        22. June 2011 (Wednesday, strict)
Notification of acceptance:  9. August 2011
Workshop:                   13. September 2011, University of Oslo, Norway


Programme Committee

Farhad Arbab,        CWI, the Netherlands 
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, Denmark 
Martin Leucker,      University of Lübeck, Germany 
Xuandong Li,         Nanjing University, China 
Sun Meng,            Peking University, China (Co-Chair)
Laurent Mounier,     Verimag, France
Jun Pang,            Univ. Luxembourg, Luxembourg 
Jaco van de Pol,     University of Twente, the Netherlands 
Shengchao Qin,       Teesside University, UK 
Anders P. Ravn,      Aalborg University, Denmark 
Abhik Roychoudhury,  NUS, Singapore 
Wuwei Shen,          Western Michigan University, USA 
Volker Stolz,        University of Oslo, Norway (Co-Chair)
Erik de Vink,        TU Eindhoven, the Netherlands 
Jim Woodcock,        U. York, UK 
Jian Zhang,          Institute of Software, China