Program


View the list of accepted papers.

View the proceedings cover.

The Concur'2007 lunches will be at the Continental Hotel (check it in the interactive map, courtesy of Google Maps)


Jump to: Monday 3rd - Tuesday 4th - Wednesday 5th - Thursday 6th - Friday 7th - Saturday 8th


  • Monday, September 3rd ^ top

  • Tuesday, September 4th ^ top

    • Chair: Vasco T. Vasconcelos
    • 09h00 — 10h00 Mapping the Security Landscape: A Role For Language Techniques
      Fred B. Schneider (invited speaker)
    • 10h00 — 10h30 Making Random Choices Invisible to the Scheduler
      Konstantinos Chatzikokolakis and Catuscia Palamidessi
    • 10h30 — 11h00 break
    • Chair: Antonin Kucera
    • 11h00 — 11h30 Strategy Logic
      Krishnendu Chatterjee, Thomas A. Henzinger and Nir Piterman
    • 11h30 — 12h00 Solving Games via Three-Valued Abstraction Refinement
      Luca de Alfaro and Pritam Roy
    • 12h00 — 12h30 Linear Time Logics around PSL: Complexity, Expressiveness, and a little bit of Succinctness
      Martin Lange
    • 12h30 — 14h00 Lunch
    • Chair: Luca de Alfaro
    • 14h30 — 15h00 On Modal Refinements and Consistency
      Kim G. Larsen, Ulrik Nyman and Andrzej Wasowski
    • 15h00 — 15h30 Equivalence Checking for Infinite Systems using Parameterized Boolean Equation Systems
      Taolue Chen, Bas Ploeger, Jaco van de Pol and Tim Willemse
    • 15h30 — 16h00 Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
      R. Chadha and M. Viswanathan
    • 16h00 — 16h30 break
    • Chair: Eike Best
    • 16h30 — 17h00 A Nice Labelling for Tree-Like Event Structures of Degree 3
      Luigi Santocanale
    • 17h00 — 17h30 Causal Message Sequence Charts
      Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P S Thiagarajan and Shaofa Yang
    • 17h00 — 18h00 Checking Coverage for Infinite Collections of Timed Scenarios
      S. Akshay, Madhavan Mukund and K. Narayan Kumar
    • 19h00 Reception (see Social Program)

  • Wednesday, September 5th ^ top

    • Chair: Jos Baeten
    • 09h00 — 10h00 The Saga of the Axiomatization of Parallel Composition
      Luca Aceto (invited speaker)
    • 10h00 — 10h30 Is Observational Congruence Axiomatisable in Equational Horn Logic?
      Michael Mendler and Gerald Luettgen
    • 10h30 — 11h00 break
    • Chair: Uwe Nestmann
    • 11h00 — 11h30 The must preorder revisited, an algebraic theory for Web services contracts
      Cosimo Laneve and Luca Padovani
    • 11h30 — 12h00 Topology-dependent Abstractions of Broadcast Networks
      Sebastian Nanz, Flemming Nielson and Hanne Riis Nielson
    • 12h00 — 12h30 On the Expressive Power of Global and Local Priority in Process Calculi
      Cristian Versari, Nadia Busi and Roberto Gorrieri
    • 12h30 — 14h00 Lunch
    • 14h00 — All afternoon Excursion (see Social Program)

  • Thursday, September 6th ^ top

    • Chair: Luís Caires
    • 09h00 — 10h00 Separation Logic Semantics for Communicating Processes
      Peter O'Hearn (invited speaker)
    • 10h00 — 10h30 A Marriage of Rely/Guarantee and Separation Logic
      Viktor Vafeiadis and Matthew Parkinson
    • 10h30 — 11h00 break
    • Chair: Roberto Amadio
    • 11h00 — 11h30 Fair Cooperative Multithreading, or Typing Termination in a Higher-Order Concurrent Imperative Language
      Gérard Boudol
    • 11h30 — 12h00 Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures
      Peter Lammich and Markus Müller-Olm
    • 12h00 — 12h30 Automatic Derivation of Compositional Rules in Automated Compositional Reasoning
      Bow-Yaw Wang
    • 12h30 — 14h30 Lunch
    • Chair: Ugo Montanari
    • 14h30 — 16h00 Foundations of Service-Oriented Modelling (invited tutorial)
      José Luiz Fiadeiro
    • 16h00 — 16h30 break
    • Chair: Gerard Boudol
    • 16h30 — 17h00 Compositional Event Structure Semantics for the Internal pi-calculus
      Silvia Crafa, Daniele Varacca and Nobuko Yoshida
    • 17h00 — 17h30 Interpreting a Finitary Pi-Calculus in Differential Interaction Nets
      Thomas Ehrhard and Olivier Laurent
    • 17h30 — 18h00 Mobility Control via Passports
      Samuel Hym
    • 20h00 Conference Dinner (see Social Program)

  • Friday, September 7th ^ top

    • Chair: Anna Ingolfsdottir
    • 09h00 — 10h30 Rule-based modelling of cellular signalling (invited tutorial)
      Vincent Danos
    • 10h30 — 11h00 break
    • Chair: Luís Monteiro
    • 11h00 — 11h30 Coalgebraic Models for Reactive Systems
      Filippo Bonchi and Ugo Montanari
    • 11h30 — 12h00 Reactive Systems over Directed Bigraphs
      Davide Grohmann and Marino Miculan
    • 12h00 — 12h30 Asynchronous Games: Innocence without Alternation
      Paul-André Melliès and Samuel Mimram
    • 12h30 — 14h30 Lunch

    • IFIP Workshop
    • Chair: Franck van Breugel
    • 14h30 — 15h00 Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
      Martin R Neuhäußer and Joost-Pieter Katoen
    • 15h00 — 15h30 Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
      Tomáš Brázdil and Vojtech Forejt
    • 15h30 — 16h00 Timed Concurrent Game Structures
      Thomas Brihaye, François Laroussinie, Nicolas Markey and Ghassan Oreiby
    • 16h00 — 16h30 break

    • IFIP Workshop (cont.)
    • Chair: António Ravara
    • 16h30 — 17h00 Pushdown Module Checking with Imperfect Information
      Benjamin Aminof, Aniello Murano and Moshe Y. Vardi
    • 17h00 — 17h30 Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
      Laura Bozzelli
    • 17h30 — 18h00 Temporal Antecedent Failure: Refining Vacuity
      Shoham Ben-David, Dana Fisman and Sitvanit Ruah

  • Saturday, September 8th ^ top

Top