We apologize if you receive multiple copies.
TTSS'11 Final 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
submission deadline: August 12, 2011 (extended)
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
planned to be 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 in the ENTCS format
(see http://www.entcs.org/final.html). The
pre- proceedings of the workshop will be published as a UIO technical report. A
special issue consisting of extended
versions of selected papers from TTSS’11 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
Invited Speaker:
Stephan Tobies, European Microsoft Innovation Center (EMIC)
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 Lubeck, 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, IOS, China
Important Dates:
Submission Deadline: August 12, 2011
Notification of Acceptance: August 26, 2011
Final Version: August 31, 2011
Workshop: September 13, 2011----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
