TTSS'10 — Call for Papers
4th International Workshop on
Harnessing Theories for Tool Support in Software TTSS'10
15. November 2010
East China Normal University, Shanghai, China
Satellite event of ICFEM 2010
http://www.iist.unu.edu/ttss10/
Conference Topics
*******************
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
* 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.
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/ttss10/.
Selected papers of TTSS 2007-2010 will be invited to a special journal
issue of Innovations in Systems and Software Engineering by Springer.
Important Dates
*****************
Submission deadline: 22. September 2010 (Wednesday, strict)
Notification of acceptance: 1. October
Workshop: 15. November 2010, ECNU, Shanghai, China
Program Chairs
****************
Min Zhang East China Normal University, China
Volker Stolz University of Oslo, NO & UNU-IIST, Macau SAR, China
Program Committee Members
Luis Barbosa Universidade do Minho, Portugal
Wei Dong National University of Defense Technology, China
Clemens Grelck University of Amsterdam, NL
Ralf Huuck NICTA, Australia
Peter Gorm Larsen Engineering College of Aarhus, DK
Einar B. Johnsen University of Oslo, Norway
Carlo Montangero University of Pisa, Italy
Thomas Noll RWTH Aachen University, Germany
Jun Pang Univ. Luxembourg, Luxembourg
Anders P. Ravn Aalborg University, Denmark
Wuwei Shen Western Michigan University, US
Axel Simon TU München, Germany
R. Venkatesh TATA, India
Michael Weber Univ. Twente, The Netherlands
Naijun Zhan Institute of Software, CAS, China
--
----------------------------------------------------------------------
Dr Clemens Grelck Science Park 107
Universitair Docent 1098 XG Amsterdam
Nederland
Universiteit van Amsterdam
Instituut voor Informatica T +31 (0) 20 525 7578
F +31 (0) 20 525 7419
Office F2.46 www.science.uva.nl/~grelck
----------------------------------------------------------------------
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
