Submissions from the TOPCASED-community would be most welcome to this workshop
(MDE/Safety critical systems/hybrid systems etc.)!
-Volker
======================================================================================================
Call For Papers
5th International Workshop on Harnessing Theories for Tool Support in
Software (TTSS'11)
13 September, 2011, Oslo, Norway
http://facs2011.ifi.uio.no/index.php?n=TTSS.TTSS2011
Co-located with FACS 2011
======================================================================================================
Overview and Topics of Interest
The aim of the workshop is to bring together practitioners and researchers from
academia, industry
and government 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 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 on 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
TTSS'11 is the 5th event in a series of workshops, founded by the International
Institute for Software
Technology of the United Nations University (UNU-IIST). The first TTSS workshop
was co-located with ICTAC'07
in Macau (September 2007). The following TTSS workshops were organized at
Istanbul, Turkey (August, 2008),
at Universiti Kebangsaan Malaysia (August, 2009) and at East China Normal
University in China (November 2010).
TTSS'11 is co-located with FACS'11 together in Oslo, Norway.
Submission and Publication
Submissions to the workshop must present original research that is unpublished
and not submitted for
publication elsewhere. Papers will be judged on the basis of originality,
relevance, technical soundness
and presentation quality.
Papers must be written in English and not exceed 15 pages, following the ENTCS
format
(http://www.entcs.org/prelim.html). The pre-proceedings of the workshop will be
published as a technical
report in the UIO report series. A special issue consisting of extended
versions of selected papers from
TTSS 2011 is intended to be published in the Elsevier journal Science of
Computer Programming. Selected
participants will be invited to submit an extended version of their papers
after the workshop.
Papers can be submitted via the following link:
http://www.easychair.org/conferences/?conf=ttss11
Important Dates
Submission deadline: 22. June 2011 (Wednesday, strict)
Notification of acceptance: 9. August 2011
Workshop: 13. September 2011, University of Oslo, Norway
Programme Committee
Farhad Arbab, CWI, the Netherlands
Christel Baier, TU Dresden, Germany
Luis Barbosa, U. Minho, Portugal
Manfred Broy, TU München, Germany
Michael J. Butler, University of Southampton, UK
Dave Clarke, Katholieke Universiteit Leuven, Belgium
Ralf Huuck, NICTA, Australia
Einar B. Johnsen, University of Oslo, Norway
Joost-Pieter Katoen, RWTH Aachen, Germany
Peter Gorm Larsen, Engineering College of Aarhus, Denmark
Martin Leucker, University of Lübeck, Germany
Xuandong Li, Nanjing University, China
Sun Meng, Peking University, China (Co-Chair)
Laurent Mounier, Verimag, France
Jun Pang, Univ. Luxembourg, Luxembourg
Jaco van de Pol, University of Twente, the Netherlands
Shengchao Qin, Teesside University, UK
Anders P. Ravn, Aalborg University, Denmark
Abhik Roychoudhury, NUS, Singapore
Wuwei Shen, Western Michigan University, USA
Volker Stolz, University of Oslo, Norway (Co-Chair)
Erik de Vink, TU Eindhoven, the Netherlands
Jim Woodcock, U. York, UK
Jian Zhang, Institute of Software, China
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users
