===========================================================
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
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
