***************************************************************************
                                 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.gre...@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.shafare...@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
----------------------------------------------------------------------

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Reply via email to