TTSS'09: final call for papers

[Einar Broch Johnsen]

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




_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users