Programme
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
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
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
20:00 Welcome Cocktail: at Accademia di Belle Arti
Wednesday, September 2nd
8:30 Invited talk: session chair Gianluigi ZavattaroMartin 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
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!
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 BravettiChristel 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
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
- 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 LaneveRobin 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
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
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