Model Checking for Nominal Calculi
Ugo Montanari, Univ. Pisa, Italy

Esterel v7: From Verified Formal Specification to Efficient Industrial Designs
Gérard Berry, Esterel Technologies, Villeneuve-Loubet, France

Analyzing Web Service Based Business Processes
Axel Martens (Humboldt Univ., Berlin, Germany)

Automatic Conformance Testing of Web Services
Reiko Heckel (Univ. of Leicester, UK) and Leonardo Mariani (Univ. of Milano-Bicocca, Italy)

Termination Criteria for Model Transformation
Hartmut Ehrig, Karsten Ehrig (TU Berlin, Germany), Juan de Lara (Autonomous Univ. of Madrid, Spain), Gabriele Taentzer (TU Berlin, Germany), Dániel Varró and Szilvia Varró-Gyapay (Budapest Univ. of Technology and Economics, Hungary)

Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
Gabriele Taentzer (TU Berlin, Germany) and Arend Rensink (Univ. of Twente, Enschede, The Netherlands)

Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Ralf H. Reussner, Jens Happe and Annegret Habel (Univ. of Oldenburg, Germany)

Conference Dinner at the National Museum of Scotland, Chambers Street, preceded by a reception.

When you enter the museum, the first sight is the magnificent Main Hall, with its elegant bird-cage design. Flooded with natural light, it provides a great sense of space and tranquillity, with fountains and fishponds. It is a major exhibit in its own right and contains many wonderful objects.

During the dinner it will not be possible to see the exhibits of the museum, but here is what you will miss: Thirty-six galleries of varying sizes present artefacts from around the globe and natural history specimens. See everything from steamships to sculptures, Egypt to evolution, Dolly the Sheep to design classics and black holes to brown bears.

Improving the Build Architecture of Legacy C/C++ Software Systems
Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos and Periklis Andritsos (Univ. of Toronto, Canada)

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems
Genaína Nunes Rodrigues, David Rosenblum (Univ. College London, UK) and Sebastian Uchitel (Imperial College, London, UK)

Model Reuse with the Evolution and Validation Framework
Jörn Guy Süss and Andreas Leicher (TU Berlin, Germany)

A Tool to Automate Component Clustering and Identification
Soo Ho Chang, Man Jib Han and Soo Dong Kim (Soongsil Univ., Seoul, Korea)

Managing Variability Using Heterogeneous Feature Variation Patterns
Imed Hammouda, Juha Hautamäki, Mika Pussinen and Kai Koskimies (Tampere Univ. of Technology, Finland)

Color-blind Specifications for Transformations of Reactive Synchronous Programs
Kim G.Larsen and Ulrik Larsen (Aalborg Univ., Denmark), Andrzej Wąsowski (IT Univ. of Copenhagen, Denmark)

On the Correspondence between Conformance Testing and Regular Inference
Therese Berg, Olga Grinchtein and Bengt Jonsson (Uppsala Univ., Sweden), Martin Leucker (TU Munich, Germany), Harald Raffelt and Bernhard Steffen, (Univ. of Dortmund, Germany)

Observational Purity and Encapsulation
David A. Naumann (Stevens Institute of Technology, Hoboken, USA)

Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving
José M. Cañete and Francisco J. Galán (Univ. of Seville, Spain)

Checking Memory Safety with Blast
Tom Henzinger, EPFL, Lausanne, Switzerland

A Framework for Counterexample Generation and Exploration
Marsha Chechik and Arie Gurfinkel (Univ. of Toronto, Canada)

Using Annotations to Check Structural Properties of Classes
Michael Eichberg and Thorsten Schäfer and Mira Mezini (TU Darmstadt, Germany)

Improving System Understanding via Interactive, Tailorable Source Code Analysis
Vladimir Jakobac (Univ. of Southern California, Los Angeles, USA), Alexander Egyed (Teknowledge, Marina Del Rey, USA) and Nenad Medvidovic (Univ. of Southern California, Los Angeles, USA)

Kaveri: Delivering Indus Java Program Slicer to Eclipse
Ganeshan Jayaraman, Venkatesh Prasad Ranganath and John Hatcliff (Kansas State Univ., Manhattan, USA)

Non-local Choice and Beyond: Intricacies of MSC Choice Nodes
Arjan J. Mooij, Nicolae Goga and Judi M.T. Romijn (TU Eindhoven, The Netherlands)

Coverage Criteria for Testing of Object Interactions in Sequence Diagrams
Atanas Rountev, Scott Kagan and Jason Sawin (Ohio State Univ., Columbus, USA)

Tools for Secure Systems Development with UML: Security Analysis with ATPs
Jan Jürjens and Pasha Shabalin (TU Munich, Germany)

Maintaining Life Perspectives during the Refinement of UML Class Structures
Alexander Egyed (Teknowledge, Marina Del Rey, USA), Wuwei Shen and Kun Wang (Western Michigan Univ., Kalamazoo, USA)

Automated Compositional Proofs for Real-time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli and Angelo Morzenti (Milan Polytechnic, Italy)

Iterative Circular Coinduction for CoCASL in Isabelle/HOL
Daniel Hausmann, Till Mossakowski and Lutz Schröder (Univ. of Bremen, Germany)

Formalisation and Verification of Java Card Security Properties in Dynamic Logic
Wojciech Mostowski (Chalmers Univ. of Technology, Gothenburg, Sweden)

Dinner at Jury's Inn, 43 Jeffrey Street. The hotel is perfectly located in the heart of the old city, right beside the Royal Mile.