TOOLS: Technology of Object-Oriented Languages and Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2013 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
TOOLS 2012 50th International Conference on Objects, Models, Components, Patterns
May 29, 2012 - May 31, 2012 Prague, Czech Republic Jan 13, 2012 (Jan 6, 2012)
TOOLS 2010 TOOLS 2010 Federated Conferences
Jun 28, 2010 - Jul 2, 2010 Malaga, Spain TBD
 
 

Present CFP : 2012

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 its 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
Zdeněk Troníček, 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, Czech Technical University in Prague, Czech Republic
Michal Valenta, Czech Technical University in Prague, Czech Republic
Jindra Vojikova, Czech Technical University in Prague, Czech Republic
Jan Chrastina, Czech Technical University in Prague, Czech Republic

Publicity Chair

Scott West, ETH Zurich, Switzerland

 

Related Resources

MEMOCODE 2016   ACM-IEEE International Conference on Formal Methods and Models for System Design
SEKE 2017   The Twenty-Ninth International Conference on Software Engineering and Knowledge Engineering
FORTE 2016   36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
ICCTD 2017   8th International Conference on Computer Technologies and Development-EI, Scopus, and ISI CPCS
PDP 2017   The 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
WCSE 2017   7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex
MASAI@PAAMS 2017   Special Session on Multi-Agent Systems and Ambient Intelligence (MASAI) @ PAAMS2017
ESEC/FSE 2017   11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
PDP 2017   The 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
NFM 2017   The 9th NASA Formal Methods Symposium