Session 1 9:00 - 10:30 |
Welcome Welcome
|
Coffee |
|
Session 2 11:00 - 12:30 |
Rule Formats and Bisimulation 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) |
Lunch |
|
Session 3 14:30 - 16:30 |
Probabilistic Models 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) |
Coffee |
|
Session 4 17:00 - 18:30 |
Algebraic Models 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) |
Session 1 9:00 - 10:00 |
Invited talk Mathematical
Models of Computational and Combinatorial Structures
Marcelo Fiore, Univ. of Cambridge, UK Location: George Square Lecture Theatre |
Coffee |
|
Session 2 10:30 - 12:30 |
Games and Automata 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) |
Lunch |
|
Session 3 14:30 - 16:30 |
Language Analysis 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) |
Coffee |
|
Session 4 17:00 - 18:30 |
Partial Order Models 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) |
Session 1 9:00 - 10:00 |
Unifying invited talk Model Checking
for Nominal Calculi
Ugo Montanari, Univ. Pisa, Italy Location: George Square Lecture Theatre |
Coffee |
|
Session 2 10:30 - 12:30 |
Logics 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) |
Lunch |
|
Session 3a 14:30 - 15:30 |
Unifying invited talk Esterel v7:
From Verified Formal Specification to Efficient Industrial Designs
Gérard Berry, Esterel Technologies, Villeneuve-Loubet, France Location: George Square Lecture Theatre |
Session 3 15:45 - 16:45 |
Coalgebraic Modal Logics 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) |
Coffee |
|
Session 4 17:15 - 18:45 |
Computational Models 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) |
Evening 19:30 for 20:00 |
Banquet 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. |