Welcome

Congruence for Structural Congruences
Mohammad Reza Mousavi and Michel Reniers (TU Eindhoven, The Netherlands)

Probabilistic Congruence for Generative Semistochastic Processes
Ruggero Lanotte and Simone Tini (Insubria Univ., Como, Italy)

Bisimulation on Speed: A Unified Approach.
Gerald Lüttgen (Univ. of York, UK) and Walter Vogler (Univ. of Augsburg, Germany)

Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
Samy Abbes and Albert Benveniste (IRISA, Univ. of Rennes, France)

Axiomatizations for Probabilistic Finite-State Behaviors
Yuxin Deng (INRIA Sophia-Antipolis and Univ. Paris VII, France) and Catuscia Palamidessi (INRIA Futurs and École Polytechnique, Palaiseau, France)

Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Stefano Cattani (Univ. of Birmingham, UK), Roberto Segala (Univ. of Verona, Italy), Marta Kwiatkowska and Gethin Norman (Univ. of Birminghan, UK)

Model Checking Durational Probabilistic Systems
François Laroussinie (ENS Cachan, France) and Jeremy Sproston (Univ. of Turin, Italy)

Free-Algebra Models for the Pi-Calculus
Ian Stark (Univ. of Edinburgh, UK)

A Unifying Model of Variables and Names
Marino Miculan (Univ. of Udine, Italy) and Kidane Yemane (Uppsala Univ., Sweden)

A Computational Model for Multi-Variable Differential Calculus
Abbas Edalat (Imperial College, London, UK), Andre Lieutier (Dassault Systemes Provence, Aix-en-Provence, France) and Dirk Pattinson (Imperial College, London, UK)

Mathematical Models of Computational and Combinatorial Structures
Marcelo Fiore, Univ. of Cambridge, UK
Location: George Square Lecture Theatre

Third-Order Idealized Algol with Iteration is Decidable
Andrzej Murawski (Oxford Univ., UK) and Igor Walukiewicz (Univ. Bordeaux 1, France)

Fault Diagnosis using Timed Automata
Patricia Bouyer, Fabrice Chevalier (ENS Cachan, France) and Deepak D'Souza (Indian Institute of Science, Bangalore, India)

Optimal Conditional Reachability for Multi-Priced Timed Automata
Kim Guldstrand Larsen and Jacob Illum Rasmussen (Aalborg Univ., Denmark)

Alternating Timed Automata
Slawomir Lasota (Univ. of Warsaw, Poland) and Igor Walukiewicz (Univ. Bordeaux 1, France)

Full Abstraction for Polymorphic Pi-Calculus
Alan Jeffrey (DePaul Univ., Chicago, USA) and Julian Rathke (Univ. of Sussex, Brighton, UK)

Foundations of Web Transactions
Cosimo Laneve and Gianluigi Zavattaro (Univ. of Bologna, Italy)

Bridging Language-Based and Process Calculi Security
Riccardo Focardi, Sabina Rossi (Univ. of Venice, Italy) and Andrei Sabelfeld (Chalmers Univ. of Technology, Gothenburg, Sweden)

History-based Access Control with Local Policies
Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari (Univ. of Pisa, Italy)

Composition and Decomposition in True-Concurrency
Sibylle Fröschle (Univ. of Warsaw, Poland)

Component Refinement and CSC Solving for STG Decomposition
Mark Schäfer and Walter Vogler (Univ. of Augsburg, Germany)

The Complexity of Live Sequence Charts
Yves Bontemps and Pierre Yves Schobbens (Univ. of Namur, Belgium)

Model Checking for Nominal Calculi
Ugo Montanari, Univ. Pisa, Italy
Location: George Square Lecture Theatre

A Simpler Proof Theory for Nominal Logic
James Cheney (Univ. of Edinburgh, UK)

From Separation Logic to First-Order Logic
Cristiano Calcagno, Philippa Gardner and Matthew Hague (Imperial College, London, UK)

Justifying Algorithms for Beta-Eta Conversion
Healfdene Goguen (AT&T Labs Research, Florham Park, USA)

On Decidability within the Arithmetic of Addition and Divisibility
Marius Bozga and Radu Iosif (VERIMAG, Grenoble, France)

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

Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
Lutz Schröder (Univ. of Bremen, Germany)

Duality for Logics of Transition Systems
Marcello Bonsangue (Univ. of Leiden, The Netherlands) and Alexander Kurz (Univ. of Leicester, UK)

Confluence of Right Ground Term Rewriting Systems is Decidable
Lukasz Kaiser (RWTH Aachen, Germany)

Safety is not a Restriction at Level 2 for String Languages
Klaus Aehlig, Jolie de Miranda and Luke Ong (Oxford Univ., UK)

A Category of Higher-Dimensional Automata
Ulrich Fahrenberg (Aalborg Univ., Denmark)

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.