[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] TTSS'09: final call for papers



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

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

     Universiti Kebangsaan, Kuala Lumpur, Malaysia
                  16-17 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: 				16-17 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