[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

===========================================================
                    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





Reply via email to