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).


First day

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


Second day

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


Third day

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


coordination/programme.txt · Last modified: 2011/05/31 01:54 by marjan
Reykjavik University - School of Computer Science - discotec@ru.is