[Haskell] CoPro 2015 - Mini-Symposium on Coordination Programming

[Clemens Grelck]

***************************************************************************
                                  CALL FOR
              PAPERS / EXTENDED ABSTRACTS / PRESENTATION SUMMARIES

                                  CoPro 2015

                              Mini-Symposium on
                          Coordination Programming

           http://www.parco2015.org/coordination-programming

                                Edinburgh, UK
                             September 1, 2015

                     Submission deadline: July 29, 2015

***************************************************************************
                                  PART OF

                                 ParCo 2015

             17th International Conference on Parallel Computing

                         http://www.parco2015.org/

                                Edinburgh, UK
                             September 1-4, 2015

***************************************************************************
IMPORTANT DATES:

July      29, 2015: submission deadline
July      30, 2015: author notification
July      31, 2015: early registration deadline ParCo conference
September  1, 2015: mini-symposium
September  4, 2015: end of ParCo conference
October   31, 2015: submission of camera-ready papers for ParCo proceedings

***************************************************************************
SUBMISSIONS:

The focus of the mini-symposium is on bringing together researchers
interested in all aspects of coordination programming. Our emphasis is on
lively discussions and scientific exchange, not formalities. For the
initial submission anything from a 1-2 page extended abstract or
presentation summary to a full 10-page paper is equally fine.

Titles, authors and abstracts of all submissions accepted by the CoPro 2015
mini-symposium will appear in the ParCo book of abstracts to be distributed
during the conference. We will merely apply a quick scope check.

All authors of contributions presented at the mini-symposium are invited
to submit a full paper after the conference that will be reviewed and if
accepted will be included in the proceedings of the 17th International
Conference on Parallel Computing (ParCo 2015) and published as a volume of
the series Advances of Parallel Computing after the ParCo conference.

Submission of contributions is via EasyChair:

   https://easychair.org/conferences/?conf=copro2015

***************************************************************************
SCOPE:

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 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?

***************************************************************************
PROGRAMME COMMITTEE:

  Farhad Arbab, Centrum Wiskunde & Informatica, Netherlands
  Clemens Grelck, University of Amsterdam, Netherlands
  Kath Knobe, Rice University, USA
  Alex Shafarenko, University of Hertfordshire, UK

***************************************************************************
MINI-SYMPOSIUM CHAIRS

  Clemens Grelck
  University of Amsterdam
  Informatics Institute
  Science Park 904
  1098XH Amsterdam
  Netherlands
  c.grelck at uva.nl
  http://staff.fnwi.uva.nl/c.u.grelck

  Alex Shafarenko
  University of Hertfordshire
  School of Computer Science
  College Lane
  Hatfield, AL10 9AB
  United Kingdom
  a.shafarenko at herts.ac.uk
  http://homepages.herts.ac.uk/~comqas/

***************************************************************************

-- 
----------------------------------------------------------------------
Dr Clemens Grelck                                     Science Park 904
University Lecturer                                   1098XH Amsterdam
                                                            Netherlands
University of Amsterdam
Institute for Informatics                        T +31 (0) 20 525 8683
Computer Systems Architecture Group              F +31 (0) 20 525 7490

Office C3.105                             staff.fnwi.uva.nl/c.u.grelck
----------------------------------------------------------------------