[Haskell] Call for Papers: TTSS'10 (4th International Workshop on Harnessing Theories for Tool Support in Software)

[Clemens Grelck]

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