TOOLS Europe 2012: Call for Participation

CALL FOR PARTICIPATION

TOOLS EUROPE 2012

50th International Conference on Objects, Models, Components, Patterns

The Triumph of Objects

29-31 May 2012, Prague, Czech Republic

http://toolseurope2012.fit.cvut.cz/

Co-located with:

ICMT 2012, SC 2012, TAP 2012, MSEPT 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.

Invited Speakers:

• Lionel Briand
  
• Alan Kay (remote talk by video conference)
  
• Bertrand Meyer
  

Registration:

Early registration, at a reduced price, will be open
until 25 April 2012.
http://toolseurope2012.fit.cvut.cz/index.php/registration.html

Organization:

Conference Chair

• Bertrand Meyer, ETH Zurich, Eiffel Software, and ITMO

Program Chairs

• Carlo A. Furia, ETH Zurich
  
• Sebastian Nanz, ETH Zurich

Local Organization

• Pavel Tvrdik, CTU Prague
  
• Michal Valenta, CTU Prague
  
• Jindra Vojikova, CTU Prague
  
• Jan Chrastina, CTU Prague

Publicity Chair

• Scott West, ETH Zurich

Accepted papers:

• DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity. Luis Corral, Alberto Sillitti, Giancarlo Succi, Juri Strumpflohner and Jelena Vlasenko
  
• Learning to Classify Bug Reports into Components. Ashish Sureka
  
• Elucidative Development for Model-Based Documentation and Language Specification. Claas Wilke, Andreas Bartho, Julia Schroeter, Sven Karol and Uwe Aßmann
  
• Enhancing OSGi with Explicit, Vendor Independent Extra-functional Properties. Kamil Jezek, Premek Brada and Lukas Holy
  
• Measuring Test Case Similarity to Support Test Suite Understanding. Michaela Greiler, Arie Van Deursen and Andy Zaidman
  
• Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs. Anna Derezinska and Marcin Rudnik
  
• Non-interference on UML State-charts. Martín Ochoa, Jan Jürjens and Jorge Cuellar
  
• Viewpoint Co-Evolution through Coarse-Grained Changes and Coupled Transformations. Manuel Wimmer, Nathalie Moreno and Antonio Vallecillo
  
• 101companies: a community project on software technologies and software languages. Jean Marie Favre, Ralf Laemmel, Thomas Schmorleiz and Andrei Varanovich
  
• Incremental Dynamic Updates with First-class Contexts. Erwann Wernli, Mircea Lungu and Oscar Nierstrasz
  
• Efficient Method Lookup Customization for Smalltalk. Jan Kurs, Jan Vrany and Claus Gittinger
  
• Representing Uniqueness Constraints in Object-Relational Mapping: The Natural Entity Framework. Mark Olah, David Mohr and Darko Stefanovic
  
• Detection of Seed Methods for Quantification of Feature Confinement. Andrzej Olszak, Eric Bouwers, Bo Noerregaard Joergensen and Joost Visser
  
• Multiparty Session C: Safe Parallel Programming with Message Optimisation. Nicholas Ng, Nobuko Yoshida and Kohei Honda
  
• Identifying A Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-Language Virtual Machines. Stefan Marr and Theo D'Hondt
  
• TimeSquare: Treat your Models with Logical Time. Julien Deantoni and Frédéric Mallet
  
• Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies. Néstor Cataño, Sorren Hanvey and Camilo Rueda
  
• Integrating Efficient Model Queries in State-of-the-art EMF Tools. Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, Zoltán Ujhelyi, Istvan Rath and Daniel Varro
  
• Supporting Compile-Time Debugging and Precise Error Reporting in Meta-Programs. Yannis Lilis and Anthony Savidis
  
• Fake Run-Time Selection of Template Arguments in C++. Daniel Langr, Pavel Tvrdík, Tomáš Dytrych and Jerry P. Draayer
  
• Assisted Behavior Driven Development Using Natural Language Processing. Mathias Soeken, Robert Wille and Rolf Drechsler
  
• An object-oriented application framework for the development of real-time systems. Francesco Fiamberti, Daniela Micucci and Francesco Tisato
  
• Turbo DiSL: Partial Evaluation for High-level Bytecode Instrumentation. Yudi Zheng, Danilo Ansaloni, Lukas Marek, Andreas Sewe, Walter Binder, Alex Villazon, Petr Tuma, Zhengwei Qi and Mira Mezini
  
• Verification of snapshotable trees using access permissions and typestate. Hannes Mehnert and Jonathan Aldrich