[clean-list] CfP: TTSS'09 - Harnessing Theories for Tool Support in Software

[Volker Stolz]

===========================================================
                   Call for papers

         TTSS'09 3rd International Workshop on
    Harnessing Theories for Tool Support in Software

     Universiti Kebangsaan, Kuala Lumpur, Malaysia
                       14-15 August 2009
              http://www.iist.unu.edu/ttss09

    Colocated with ICTAC'09, Kuala Lumpur, Malaysia
              http://www.ftsm.ukm.my/ictac09

          Submission deadline: 29 May 2008
===========================================================


TTSS is a forum for researchers, practitioners, and users interested
in rigorously based tools for the construction and analysis of complex
systems. The aim of the workshop is 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 and analysis
   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 of 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

Submission

TTSS invites authors to submit original and unpublished work.
Submissions should include an abstract, key words, the e-mail address
of the corresponding author, and must not exceed 15 pages using ENTCS
style. Proceedings will be published as ENTCS. Further details are
available from the workshop web-site http://www.iist.unu.edu/ttss09/.

Important dates
Submission deadline:			29 May 2008
Notification of acceptance:	    	10 June 2008
Workshop: 				14-15 August 2008

Program Committee

Program Chairs
Einar Broch Johnsen	Univ. of 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		Univ. do Minho, Portugal
David Clarke		K.U. Leuven, Belgium
Ralf Huuck		NICTA, Australia
Kung-Kiu Lau		Manchester Univ., UK
Jing Liu		ECNU, China
Markus Lumpe		Swinburne Univ., Australia
Jun Pang		Univ. Luxembourg, Luxembourg
Anders P. Ravn		Aalborg Univ., Denmark
Abhik Roychoudhury	NUS, Singapore
Bernhard Schaetz	TU Munich, Germany
Heinrich Schmidt	RMIT Univ., Australia
Petr Tuma		Charles Univ., Czech Republic
Marcel Verhoef		CHESS, The Netherlands
Michael Weber		Univ. 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