Wednesday (June 18)

09:00-09:15
Opening
Marco Bernardo, Daniel Gebler, Michele Loreti (message from the organizers)
Ilaria Castellani (chair of the IFIP Working Group 1.8)

09:15-10:45
Process Theory, Expressiveness, and Programming Languages 1
Chair: Ilaria Castellani

• Executability Theory
  Jos Baeten
• The Greatest Challenge
  Joachim Parrow
• Reconciling Concurrency Theory with Other Branches of Computer Science
  Hubert Garavel

10:45-11:15
Coffee break

11:15-12:45
Verification, Testing, and Synthesis 1
Chair: Walter Vogler

• Characterising the State Spaces of Concurrent Systems
  (Maciej Koutny on behalf of) Eike Best
• Synthesis of Concurrent Systems with Step Firing Policies
  Maciej Koutny
• Reasoning about Shared-Memory Concurrency
  Philippa Gardner

13:00-14:00
Lunch

14:30-16:00
Types in Concurrency Theory
Chair: Mario Bravetti

• Concurrency and Types in Programming
  Luís Caires
• Bridging the Gap between Binary and Multiparty Communications
  Jorge A. Pérez
• The Scribble Protocol Language and Multiparty Session Types
  Nobuko Yoshida

16:00-16:30
Coffee break

16:30-18:00
Process Theory, Expressiveness, and Programming Languages 2
Chair: Luca Aceto

• Full Abstraction for Expressiveness: Past, Present and Future
  Daniele Gorla
• On the Relative Expressiveness of Process Calculi
  Rob van Glabbeek
• Coinduction up-to from Concurrency to Coalgebras and back
  Filippo Bonchi and Alexandra Silva

 

Thursday (June 19)

09:15-10:45
Process Theory, Expressiveness, and Programming Languages 3
Chair: Rob van Glabbeek

• Integrating Automata Theory and Process Theory: Status and Open Problems
  Bas Luttik
• Integrating Concurrency Theory with State
  Steve Schneider
• Mobility in the World of Alphabetised Parallel
  Bill Roscoe

10:45-11:15
Coffee break

11:15-12:45
Quantitative Aspects in Concurrency Theory 1
Chair: Daniel Gebler

• Metric Concurrency Theory
  Kim G. Larsen
• On Global Measures for the Evaluation of Systems
  David de Frutos Escrig
• Analysis of Distributed Probabilistic Systems: Possibilities and Limitations
  Pedro R. D’Argenio

13:00-14:00
Lunch

14:30-16:00
Security in Concurrency Theory
Chair: Alessandro Aldini

• Concurrency Theory Meets Security: Existing Approaches and New Directions
  Catuscia Palamidessi
• Secure Information Flow for Concurrency
  Ilaria Castellani
• A Typing System for Privacy
  Anna Philippou

16:00-16:30
Coffee break

16:30-18:00
Process Theory, Expressiveness, and Programming Languages 4
Chair: Ugo Montanari

• Communicating Transactions as a Concurrent Programming Language Construct
  Matthew Hennessy
• Reversibility and Concurrency
  Irek Ulidowski
• Concurrency Theory vs. Concurrent Languages
  Silvia Crafa

20:00-23:00
Social dinner at Ristorante Altopalato
 

Friday (June 20)

09:15-10:45
Process Theory, Expressiveness, and Programming Languages 5
Chair: Wan Fokkink

• Some of my Favourite Open Problems in the Equational Logic of Processes
  Luca Aceto
• Some Open Problems in Deciding Bisimulation Equivalence
  Petr Jančar
• Equations, Contractions and Unique Solutions
  Davide Sangiorgi

10:45-11:15
Coffee break

11:15-12:45
Quantitative Aspects in Concurrency Theory 2
Chair: Holger Hermanns

• Uniform Labelled Transition Systems: Models and Equivalences
  Rocco De Nicola
• The Fellowship of the Semiring: Concerning Quantitative Bisimulations
  Marino Miculan
• Stone Dualities for Markov Processes
  Radu Mardare

13:00-14:00
Lunch

14:30-16:00
Verification, Testing, and Synthesis 2
Chair: Jos Baeten

• Process Algebra as a Usable/Used Tool for the Construction of Correct Systems
  Jan Friso Groote
• False Distribution
  Uwe Nestmann
• Challenges in Model-Based Testing of Software Product Lines
  Mohammad R. Mousavi

16:00-16:30
Coffee break

16:30-18:00
Process Theory, Expressiveness, and Programming Languages 6
Chair: Rocco De Nicola

• pseuCo.com
  Holger Hermanns
• It’s a Wonderful Lift: Get Axiomatizability Results for Weak or Timed Settings for Free
  Wan Fokkink
• Languages and Models for Automatic Deployment of Cloud Applications
  Gianluigi Zavattaro

 

Saturday (June 21)

09:00-10:30
Process Theory, Expressiveness, and Programming Languages 7
Chair: Roberto Bruni

• Causality Revisited
  Ugo Montanari
• True Concurrency, Logic and Verification
  Paolo Baldan
• Process Equivalences for Multiparty Interactions
  Hernán Melgratti

10:30-10:45
Coffee break

10:45-12:15
Quantitative Aspects in Concurrency Theory 3
Chair: Michele Loreti

• Population Modelling
  Vashti Galpin
• Modelling and Verification of Spatiality: The Shape Calculus
  Luca Tesei
• Probabilities in Higher-Order Languages
  Valeria Vignudelli

12:15-12:30
Coffee break

12:30-13:30
Process Theory, Expressiveness, and Programming Languages 8
Chair: Marco Bernardo

• Languages and Types for Linked Data
  Vladimiro Sassone
• Choreographies and Behavioural Contracts in Multiparty Interactions
  Mario Bravetti

13:30-14:00
Lunch