Contacts: Clemens Grelck c [dot] grelck [at] uva [dot] nl (subject: Parco%202015%20Mini%20Symposium) (c.grelck at uva.nl) (University of Amsterdam),
Alex Shafarenko A [dot] Shafarenko [at] herts [dot] ac [dot] uk (subject: Parco%202015%20Mini%20Symposium) (University of Hertfordshire)
Tuesday, September 1st
11:30 - 11:45: CoPro Welcome
11:45 - 12:30: Kathleen Knobe and Zoran Budlimic - Dependence Programming and Coordination Programming
14:00 - 14:45: Jossekin Beilharz, Frank Feinbube, Felix Eberhardt, Max Plauth and Andreas Polze - Claud: Coordination, Locality And Universal Distribution
14:45 - 15:30: Raimund Kirner and Simon Maurer - Coordination with Structured Composition for Cyberphysical Systems
16:00 - 16:45: Clemens Grelck - Coordination Programming in S-Net: A Critical Assessment of Design Choices and Implementation Techniques
16:45 - 17:30: Max Kuznetsov and Alex Shafarenko - AstraKahn: A Coordination Language for Streaming Networks
17:30 - 17:40: Closing
Coordination programming is a term that everybody seems to have a vague idea about, but only a few have a definite view on. And, among those there is a great deal of divergence in understanding what coordination is all about. In this mini-symposium we intend to look at various interpretations of, and approaches to, coordination, from the conventional tuple-space, Linda-inspired constructions, such as CnC, to behavioural models such as Reo, to more recent attempts to see a coordination program as a projection of the full semantics of a distributed application that can be more or less accurately inferred at compile time and which affects resource- and performance-critical parameters. The mini-symposium will serve as a forum for building bridges between the various directions of research and will help us to share experiences and build a community geared towards practical applications of coordination programming.
The mini-symposium will address, but is not limited to, the following issues. through contributed papers and a panel-style discussion session included in the programme:
- Why does coordination require a coordination language? Is there a kind of analysis that is impeded by the lack of specific coordination language constructs?
- Inference vs adaptation. What can be inferred and how should the coordination program adapt to the resource situation in parallel and distributed systems.
- What kind of tuning or self-tuning facilities should/can a coordination programming approaches require/possess?
- What is the relationship between control-coordination and data-coordination?
- How can coordination programming address the challenges of cloud computing, big data processing/analysis and mixed-criticality cyberphysical systems?
- What are recent success stories in applying coordination programming to real-life applications?
Submission deadline: July 3, 2015
Notification of acceptance: July 20, 2015
Mini Symposium: September 1, 2015
Full text of call for papers