Tuesday, September 1st

8:30 Opening:
by the CONCUR'09 chairs Mario Bravetti and Gianluigi Zavattaro
9:00 Invited Talk (joint with CMSB'09): session chair Roberto Gorrieri
Corrado Priami. BlenX - Static and dynamic semantics
10:00 - 10:30 Coffe break
10:30 Timed automata: session chair Catuscia Palamidessi
  • Joel Ouaknine, Alexander Rabinovich and James Worrell. Time-Bounded Verification
  • Eugene Asarin and Aldric Degorre. Volume and Entropy of Regular Timed Languages: Discretization Approach
  • Marcin Jurdzinski, Marta Kwiatkowska, Gethin Norman and Ashutosh Trivedi. Concavely-Priced Probabilistic Timed Automata
  • Jeremy Sproston. Strict Divergence for Probabilistic Timed Automata
12:30 - 14:00 Lunch
14:00 Games: session chair Robert van Glabbeek
  • Patricia Bouyer, Marie Duflot, Nicolas Markey and Gabriel Renault. Measuring Permissivity in Finite Games
  • Matthew Hague and Luke Ong. Winning Regions of Pushdown Parity Games: A Saturation Method
  • Julian Gutierrez and Julian Bradfield. Model-Checking Games for Fixpoint Logics with Partial Order Models
15:30 - 16:00 Coffee break
16:00 Verification and Model checking: session chair Barbara König
  • Christoph Haase, Stephan Kreutzer, Joel Ouaknine and James Worrell. Reachability in Succinct and Parametric One-Counter Automata
  • Ahmed Bouajjani, Cezara Dragoi, Constantin Enea and Mihaela Sighireanu. A Logic-based Framework for Reasoning about Composite Data Structures
  • Anu Singh, C. R. Ramakrishnan and Scott A. Smolka. Query-Based Model Checking of Ad Hoc Network Protocols
  • Matthias Schmalz, Daniele Varacca and Hagen Voelzer. Counterexamples in Probabilistic LTL Model Checking for Markov Chains
18:15 Guided walk from conference location to cocktail location with description of historical sites
20:00 Welcome Cocktail: at Accademia di Belle Arti

Wednesday, September 2nd

8:30 Invited talk: session chair Gianluigi Zavattaro
Martin Abadi. Perspectives on Transactional Memory
9:30 Wouter Kuijper and Jaco van de Pol. Compositional Control Synthesis for Partially Observable Systems
10:00 - 10:30 Coffe break
10:30 Probabilistic systems: session chair Matthew Hennessy
  • Filippo Bonchi, Marcello Bonsangue, Jan Rutten and Alexandra Silva. Deriving syntax and axioms for quantitative regular behaviours
  • Krishnendu Chatterjee, Laurent Doyen and Thomas A. Henzinger. Probabilistic Weighted Automata
  • Sergio Giro, Pedro R. D'Argenio and Luis María Ferrer Fioriti. Partial order reduction for probabilistic systems: a revision for distributed schedulers
  • Josee Desharnais, François Laviolette and Amelie Turgeon. A Demonic Approach to Information in Probabilistic Systems
12:30 - 14:00 Lunch
14:00 Petri nets: session chair Philippe Darondeau
  • Roland Meyer and Roberto Gorrieri. On the relationship between pi-calculus and finite place/transition Petri nets
  • Paolo Baldan, Filippo Bonchi and Fabio Gadducci. Encoding asynchronous interactions using open Petri nets
  • Pierre-Alain Reynier and Arnaud Sangnier. Weak Time Petri Nets strike back!
15:30 - 16:00 Coffee break
16:00 Special session: Celebration of 20 years of Concur (organized by IFIP WGs 1.8 "Concurrency Theory" and 2.2 "Formal Description of Programming Concepts")
  • 16:00 - 16:05 Opening by the session chair Jos C.M. Baeten (chair of the steering committee of CONCUR)
  • 16:05 - 16:50 Robert van Glabbeek
  • 16:50 - 17:15 Davide Sangiorgi
  • 17:15 - 18:00 Bill Roscoe
  • 18:00 - 18:30 Discussion: with panel composed by Jos C.M. Baeten, Robert van Glabbeek, Bill Roscoe, and Davide Sangiorgi

Thursday, September 3rd

8:30 Invited talk: session chair Mario Bravetti
Christel Baier. The Effect of Tossing Coins in Omega-Automata
9:30 Rohit Chadha, A. Prasad Sistla and Mahesh Viswanathan. Power of Randomization in Automata on Infinite Strings
10:00 - 10:30 Coffe break
10:30 Preorders and Equivalences: session chair Holger Hermanns
  • Ismael Rodriguez. A General Testability Theory
  • Yuxin Deng, Rob van Glabbeek, Matthew Hennessy and Carroll Morgan. Testing Finitary Probabilistic Processes (extended abstract)
  • Michele Boreale. Weighted bisimulation in linear algebraic form
  • Francesco Ranzato and Francesco Tapparo. Computing Stuttering Simulations
12:30 - 14:00 Lunch
14:00 Global Computing: session chair Uwe Nestmann
  • Giuseppe Castagna and Luca Padovani. Contracts for Mobile Processes
  • Jérémy Planul, Cédric Fournet and Ricardo Corin. Secure Enforcement for Global Process Specifications
  • Ana Almeida Matos. Flow policy awareness for distributed mobile code
15:30 Excursion and Social Dinner
  • Excursion will be at San Luca, a Sanctuary on a hill which we will reach by one of the longest porticos (~3.8km) in the world, that begins in the city of Bologna (click on photos to enlarge them).
  • Social Dinner will be at Tenuta Bonzara, a winery on the hills, where we will also take a guided visit at the wine production facilities (vineyard, wine cellar, etc...) and we will have wine tasting.

Friday, September 4th

9:00 Invited talk (joint with WS-FM'09): session chair Cosimo Laneve
Robin Milner. Bigraphical Categories
10:00 - 10:30 Coffe break
10:30 Process Algebra and Bisimulation: session chair Luís Caires
  • Tony Hoare, Bernhard Möller, Georg Struth and Ian Wehrman. Concurrent Kleene Algebra
  • Vashti Galpin, Luca Bortolussi and Jane Hillston. HYPE: a process algebra for compositional flows and emergent behaviour
  • Wojciech Czerwiński, Sibylle Froeschle and Sławomir Lasota. Partially-commutative context-free processes
  • Sergueï Lenglet, Alan Schmitt and Jean-Bernard Stefani. Howe's Method for Calculi with Passivation
12:30 - 14:00 Lunch
14:00 Semantic Models: session chair Michele Boreale
  • Steffen van Bakel and Maria Grazia Vigliotti. Logical interpretations of the Lambda Calculus into the Pi-calculus, preserving spine reduction and types
  • Richard Garner, Tom Hirschowitz and Aurélien Pardon. Variable binding, symmetric monoidal closed theories, and bigraphs
  • Mikołaj Bojańczyk and Tomasz Idziaszek. Algebra for Infinite Forests with an Application to the Temporal Logic EF
15:30 - 16:00 Coffee break
16:00 Concurrent and Distributed Systems: session chair Manuel Núñez
  • Calvin Newport and Nancy Lynch. Modeling Radio Networks
  • Nicolas Baudru. Distributed asynchronous automata
  • Pavithra Prabhakar, Sayan Mitra and Mahesh Viswanathan. On Convergence of Concurrent Systems under Regular Interactions
17:30 Closing