Coordination Programme

Presentation takes 25 minutes, plus 5 minutes for questions.

The invited speaker for Coordination 2011 is Dr. Pascal Costanza. He will give his talk on the third day (see below).

09:00 - 09:10 Conference Opening

09:10 - 10:10 Invited speaker

• On Global Types and Multi-Party Sessions (Giuseppe Castagna, CNRS, Paris 7 University, France)

10:10 - 10:30 Coffee break

10:30 - 12:00 Session Types

• Safe Parallel Programming with Session Java (Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu and Yiannos Kryftis)
• Fair Subtyping for Multi-Party Session Types (Luca Padovani)
• Session Typing for a Featherweight Erlang (Dimitris Mostrous and Vasco Vasconcelos)

12:30 - 14:00 Lunch

14:00 - 15:30 Components & Aspects

• Revisiting glue expressiveness in component-based systems (Cinzia Di Giusto and Jean-Bernard Stefani)
• CSP as a Coordination Language (Moritz Kleine)
• Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces (Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson and Hanne Riis Nielson)

15:30 - 15:45 Coffee break

16:00 - 17:30 Common Industrial session

17:30 - 19:00 Reception

09:00 - 10:00 Invited speaker

• Resisting Intrusions means more than Byzantine Fault Tolerance (Paulo Verissimo, Univ. of Lisbon FCUL, Portugal)

10:00- 10:30 Coffee break

10:30 - 12:00 Implementation & Performance

• Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks (Seiji Umatani, Masahiro Yasugi and Taiichi Yuasa)
• Simulation-based Performance Analysis of Channel-based Coordination Models (Chrétien Verhoef, Christian Krause, Oscar Kanters and Rob Van Der Mei)
• An efficient management of correlation sets with broadcast (Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi and Fabrizio Montesi)

12:30 - 13:30 Lunch

14:00 - 22:30 Social event

09:00 - 10:00 Invited speaker

• Extreme Coordination - Challenges and Opportunities from Exascale Computing (Dr. Pascal Costanza, ExaScience Lab, Intel, Belgium)

10:00- 10:30 Coffee break

10:30 - 12:00 Language Design

• Fault in the Future (Einar Broch Johnsen, Ivan Lanese and Gianluigi Zavattaro)
• Coordination and Concurrency in Multi-Engine Prolog (Paul Tarau)
• Enabling Cross-Technology Mobile Applications with Network-Aware References (Kevin Pinte, Dries Harnie and Theo D'Hondt)

12:30 - 14:00 Lunch

14:00 - 15:00 Context

• The Context of Coordinating Groups in Dynamic Mobile Environments (Christine Julien)
• Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models (Sung-Shik T.Q. Jongmans, Christian Krause and Farhad Arbab)

16:00 - 16:30 Coffee break

18:00 - 18:30 Closing