[TYPES/announce] CfP Theories for Tool Support in Software/TTSS'14, September, Bertinoro

[Clemens Grelck]

****************************************************************************
                            TTSS 2014: Call For Papers

                              The 7th Intl. Workshop on
                   Harnessing Theories for Tool Support in Software
                        Bertinoro, Italy, 9 September 2014

                         http://facs2014.cs.unibo.it/TTSS/

Co-located with FACS 2014:
The 11th International Symposium on Formal Aspects of Component Software
****************************************************************************

Important Dates
===============
  - Submission Deadline: July 25, 2014
  - Notification of Acceptance: August 10, 2014
  - Camera-ready version due: to be determined

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

  - How to ensure correctness and dependability of soft-ware by
integrating formal methods and tools for modeling, design, verification
and validation into design- and development processes and environments.

  - To explore some hot issues in supporting tool for service-oriented
computing, specification generation, loop invariant generation, code
generation, test-case generation.

  - 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
  - Theory, methods and tools support for service construct,
      services composition, specification generation, loop invariant
      generation, code generation and test-case generation.

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 easychair format (seehttp://www.easychair.org/
publications/easychair.zip). The post-proceedings of
the workshop will be published electronically in a repository indexed by
DBLP (e.g. CEUR-WS, EPTCS,...); to be confirmed.

Papers can be submitted via the following link:
https://www.easychair.org/conferences/?conf=ttss14

Workshop Chairs
===============
  - Volker Stolz, University of Oslo, Norway
  - Michael Lienhardt, University of Bologna/INRIA, Italy

Program Commitee
================
  - Jun Pang, University of Luxembourg, Luxembourg
  - Cesar Sanchez, IMDEA Software Institute, Spain
  - Ralf Huuck, NICTA, Australia
  - Bernhard K. Aichernig, Graz University of Technology, Austria
  - Naijun Zhan, Chinese Academy of Sciences, China
  - Clemens Grelck, University of Amsterdam, the Netherlands
  - Charles Morisset, Newcastle University, UK
  - Wei Dong, NUDT, Changsha, China
  - Jinyun Xue,Jiangxi Normal University, Nanchang, China
  - Roberto Bruni, University of Pisa, Italy
  - Mario Bravetti, University of Bologna/INRIA, Italy
  - Prof. Dr. Erika Abraham, RWTH Aachen University, Germany
  - Jean-Bernard Stefani, INRIA, France

-- 
----------------------------------------------------------------------
Dr Clemens Grelck                                     Science Park 904
University Lecturer                                   1098XH Amsterdam
                                                            Netherlands
University of Amsterdam
Institute for Informatics                        T +31 (0) 20 525 8683
Computer Systems Architecture Group              F +31 (0) 20 525 7490

Office C3.105                               www.science.uva.nl/~grelck
----------------------------------------------------------------------