[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Final CFP TTSS'11 (deadline extended)

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