[TYPES/announce] CFP - TOOLS Europe 2012

[Scott West]

======================================================================

                          CALL FOR PAPERS

                 (Paper submission: 13 January 2012)

                         TOOLS Europe 2012
                   50th International Conference on
                Objects, Models, Components, Patterns

                         Co-located with:
   International Conference on Model Transformation (ICMT 2012)
     International Conference on Software Composition (SC 2012)
      International Conference on Tests and Proofs (TAP 2012)

               Prague, Czech Republic, 29-31 May 2012
                http://toolseurope2012.fit.cvut.cz/

======================================================================

Becoming commonplace is a technology's ultimate proof of
success. TOOLS Europe 2012 will celebrate the "triumph of objects" by
welcoming researchers and practitioners who develop and use
object-oriented techniques, models, components and patterns as
enabling technologies in diverse domains. Started in 1989, the TOOLS
conference series has played a major role in the development of object
technology and, with an emphasis on practically useful results, has
contributed to making it mainstream and ubiquitous.

TOOLS Europe encourages contributions on all aspects of object
technology and related fields. In particular, every topic in advanced
software technology falls within the scope of TOOLS. Contributions
demonstrating practical applications backed up by formal analysis and
thorough experimental evaluation are particularly welcome.

Topics
======

Topics of interest include, but are not limited to:

* Object technology, programming techniques, languages, tools
* Language implementation techniques, compilers, run-time systems
* Distributed and concurrent object systems, multicore programming
* Patterns, pattern languages and tool support for patterns
* Program verification and analysis techniques
* Trusted, reliable and secure components
* Testing of object-oriented systems
* Component-based programming, modeling, tools
* Model-driven development
* Empirical studies on programming models and techniques
* Domain specific languages and language design
* Aspect-oriented programming and modeling
* Industrial-strength experience reports
* Real-time object-oriented programming and design

Submissions
===========

TOOLS Europe 2012 welcomes submissions in the following categories:

* Full research papers (up to 16 pages)
* Tool demonstration papers (up to 8 pages)
* Short papers, such as experience reports or position statements (up
   to 8 pages)

Submitted papers must be written in English and present original
research. They must be unpublished and not submitted for publication
elsewhere.

Submissions must be in LNCS format (see Springer's instructions at
http://www.springer.de/comp/lncs/authors.html). The page limits above
include figures and bibliographic references. Additional material
intended for referees but not for publication in the final version --
for example details of proofs -- may be placed in a clearly marked
appendix that is not included in the page limit. Referees will be at
liberty to ignore appendices, and papers must be understandable
without them.

Papers must be submitted in PDF format via

http://www.easychair.org/conferences/?conf=toolseurope2012.

All contributions will be subject to a rigorous selection process,
with a stress on significance, originality and clarity.

Accepted papers will be published as conference proceedings by
Springer in the Lecture Notes in Computer Science (LNCS) series. At
least one author of every accepted paper (in every category) is
required to present the paper at the conference.

Authors of selected papers will be invited to submit an extended
version to a special issue of the Journal of Object Technology
(JOT). Outstanding submissions will be considered for the EAPLS best
paper award of TOOLS 2012.

Important Dates
===============

* Abstract submission: 6 January 2012
* Full paper submission: 13 January 2012
* Acceptance notification: 2 March 2012
* Camera-ready copy: 23 March 2012
* Conference: 29-31 May 2012

Committees
==========

Program Chairs:
* Carlo A. Furia, ETH Zurich, Switzerland
* Sebastian Nanz, ETH Zurich, Switzerland

Program Committee:
* Jonathan Aldrich, Carnegie Mellon University, USA
* Gilles Barthe, IMDEA Software Institute, Spain
* Lorenzo Bettini, University of Torino, Italy
* Yuriy Brun, University of Washington, USA
* S.C. Cheung, The Hong Kong University of Science and Technology, China
* Gordon Fraser, Saarland University, Germany
* John Gallagher, Roskilde University, Denmark
* Angelo Gargantini, University of Bergamo, Italy
* Michael Goedicke, University of Duisburg-Essen, Germany
* Susanne Graf, VERIMAG, France
* Mark Harman, University College London, United Kingdom
* Michael Huth, Imperial College London, United Kingdom
* Yves Le Traon, University of Luxembourg, Luxembourg
* Yang Liu, National University of Singapore, Singapore
* Tiziana Margaria, University of Potsdam, Germany
* Jerzy Nawrocki, Poznan University of Technology, Poland
* Nathaniel Nystrom, University of Lugano, Switzerland
* Manuel Oriol, University of York, United Kingdom
* Alessandro Orso, Georgia Institute of Technology, USA
* Richard Paige, University of York, United Kingdom
* Alexander K. Petrenko, Moscow State University, Russia
* Grigore Rosu, University of Illinois, USA
* Peter Sestoft, IT University of Copenhagen, Denmark
* Andrey Terekhov, St. Petersburg State University, Russia
* Zdenek Tronicek, Czech Technical University in Prague, Czech Republic
* Naoyasu Ubayashi, Kyushu University, Japan
* Antonio Vallecillo, University of Malaga, Spain
* Kapil Vaswani, Microsoft Research, Bangalore, India
* Tao Xie, North Carolina State University, USA
* Amiram Yehudai, Tel Aviv University, Israel
* Michal Young, University of Oregon, USA
* Jian Zhang, Chinese Academy of Sciences, China
* Lu Zhang, Peking University, China

Conference Chair:
* Bertrand Meyer, ETH Zurich and Eiffel Software

Local Organization:
* Pavel Tvrdik, CTU Prague, Czech Republic
* Michal Valenta, CTU Prague, Czech Republic
* Jindra Vojikova, CTU Prague, Czech Republic
* Jan Chrastina, CTU Prague, Czech Republic

Publicity Chair:
* Scott West, ETH Zurich, Switzerland