You are here: Home / CFP Folder / June 22, 2011 - TISS'11 (5th International Workshop on Harnessing Theories for Tool Support in Software)

June 22, 2011 - TISS'11 (5th International Workshop on Harnessing Theories for Tool Support in Software)

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
When Jun 22, 2011
from 12:00 AM to 11:45 PM
Where Oslo, Norway
Add event to calendar vCal
iCal
======================================================================================================
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

Document Actions

Filed under: ,
Navigation
« April 2017 »
April
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930