[Swift-devel] co-ordination languages (CFP)
Tim Armstrong
tim.g.armstrong at gmail.com
Tue Apr 26 07:17:07 CDT 2011
I ended up using the term coordination language to describe Swift in my
masters paper - its a useful way to think about the problem.
If anyone is interested, this paper is quite helpful in motivating the term:
http://portal.acm.org/citation.cfm?id=129635
- Tim
On Sun, Apr 24, 2011 at 4:59 PM, Ian Foster <foster at anl.gov> wrote:
> This term was big in the 1980s/early 1990s, around the time of Linda. It
> seems to have dropped in popularity of late.
>
> I've always thought of Swift as a coordination language rather than a
> workflow language. But I like the term "parallel scripting" best of all.
>
>
>
>
>
>
> On Apr 24, 2011, at 9:03 AM, Daniel S. Katz wrote:
>
> > It's interesting that the word "workflow" itself doesn't appear in the
> call.
> >
> > Dan
> >
> >
> > On Apr 24, 2011, at 7:12 AM, Ben Clifford wrote:
> >
> >>
> >> Now there are these things called 'co-ordination languages', which as
> far
> >> as I can tell overlaps a lot with 'workflow languages' ...
> >>
> >> --
> >> http://www.hawaga.org.uk/ben/
> >>
> >> ---------- Forwarded message ----------
> >> Date: Sun, 24 Apr 2011 13:53:36 +0200
> >> From: "Mousavi, M." <M.R.Mousavi at tue.nl>
> >> To: "types-announce at lists.seas.upenn.edu" <
> types-announce at lists.seas.upenn.edu>,
> >> "concurrency at tue.nl" <concurrency at tue.nl>,
> >> "hol-info at lists.sourceforge.net" <hol-info at lists.sourceforge.net>,
> >> "agda at lists.chalmers.se" <agda at lists.chalmers.se>,
> >> "isabelle-users at cl.cam.ac.uk" <isabelle-users at cl.cam.ac.uk>
> >> Subject: [Agda] CFP: Foundations of Coordination Languages and Software
> >> Architectures (Deadline: June 3)
> >>
> >> ***************************************************
> >> The 10th International Workshop on the
> >>
> >> Foundations of Coordination Languages and Software Architectures
> (FOCLASA 2011)
> >>
> >> A Satellite Workshop of CONCUR 2011
> >>
> >> Aachen (Germany), September 10, 2011
> >>
> >> http://foclasa.lcc.uma.es/
> >>
> >> Submission Deadline: June 3rd, 2011
> >> (Abstract: May 27th, 2011)
> >> ***************************************************
> >>
> >>
> >> Abstract
> >> ======
> >>
> >> Computation nowadays is becoming inherently concurrent, either because
> of characteristics of the hardware (with multicore processors becoming
> omnipresent) or due to the ubiquitous presence of distributed systems
> (incarnated in the Internet). Computational systems are therefore typically
> distributed, concurrent, mobile, and often involve composition of
> heterogeneous components.
> >>
> >> To specify and reason about such systems and go beyond the functional
> correctness proofs, e.g., by supporting reusability and improving
> maintainability, approaches such as coordination languages and software
> architecture are recognised as fundamental.
> >>
> >> The goal of the FOCLASA workshop is to put together researchers and
> practitioners of the aforementioned fields, to share and identify common
> problems, and to devise general solutions in the context of coordination
> languages and software architectures.
> >>
> >>
> >> Topics of interest
> >> ============
> >>
> >> Topics of interest include (but are not limited to):
> >>
> >> * Theoretical models (of coordination, of component composition,
> of open, concurrent, and distributed systems)
> >> * Specification, refinement, and analysis of software systems
> (architectures, patterns and styles, verification of functional and
> non-functional properties via logics or types)
> >> * Languages for interaction, coordination, architectures, and
> interface definition (syntax and semantics, implementation, usability,
> domain-specific languages)
> >> * Dynamic software architectures (mobile agents,
> self-organizing/adaptive/reconfigurable systems)
> >> * Tools and environments for the development of applications.
> >>
> >> In particular, practice, experience and methodologies from the following
> areas are solicited as well:
> >> * Service-Oriented computing
> >> * Multi-agent systems
> >> * Peer-to-peer systems
> >> * Grid computing
> >> * Component-based systems
> >>
> >> Invited Talk
> >> ========
> >>
> >> Joe Armstrong, Ericsson, Sweden.
> >>
> >> Submissions
> >> ========
> >>
> >> FOCLASA 2011 is a satellite workshop of the 22nd International
> Conference on Concurrency Theory (CONCUR 2011). It provides a venue where
> researchers and practitioners on the topics given below can meet, exchange
> ideas and problems, identify some of the key and fundamental issues related
> to coordination languages and software architecture, and explore together
> and disseminate solutions.
> >>
> >> Submissions must describe authors' original research work and their
> results. Description of work-in-progress with concrete results is also
> encouraged. The contributions should not exceed 15 pages formatted according
> to the style of the Electronic Proceedings in Theoretical Computer Science
> (EPTCS), and should be submitted as Portable Document Format (PDF) files
> using the EasyChair submission site: click here.
> >>
> >> Important Dates
> >> ===========
> >>
> >> Abstract submission: May 27th, 2011
> >>
> >> Paper submission: June 3rd, 2011
> >>
> >> Notification: July 4th, 2011
> >>
> >> Final version due: July 18th, 2011
> >>
> >> Workshop: September 10th, 2011
> >>
> >> Submitting an abstract does not put any obligation on the authors to
> submit a full paper. Abstracts without an accompanying full paper by the
> paper submission deadline are automatically considered withdrawn; the
> authors are, however, encouraged to explicitly withdraw their abstract, if
> they decide not to submit a full paper.
> >>
> >> All submissions will be reviewed by an international program committee
> who will make a selection among the submissions based on the novelty,
> soundness and applicability of the presented ideas and results. Concurrent
> submission to other venues (conferences, workshops or journal) and
> submission of papers under consideration elsewhere are not allowed. A
> printed version of the proceedings will be distributed among participants
> during the workshop. The proceedings of the workshop will be published as a
> volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS)
> series.
> >>
> >> Participants will give a presentation of their papers in twenty
> minutes, followed by a ten-minute round of questions and discussion on
> participants' work.
> >>
> >> Following the tradition of the past edition, a special issue of an
> international scientific journal will be devoted to FOCLASA 2011. Selected
> participants will be invited to submit an extended version of their papers
> after the workshop. These extended versions will be reviewed by an
> international program committee, which will decide on their final
> publication on the special issue. In the last few editions of FOCLASA, a
> special issue of Science of Computer Programming has been dedicated to this
> workshop and we plan to devote a special issue of the same journal to
> FOCLASA 2011.
> >>
> >> Program Committee Chairs
> >> ==================
> >>
> >> MohammadReza Mousavi
> >> Eindhoven University of Technology, The Netherlands
> >>
> >>
> >> António Ravara
> >> New University of Lisbon, Portugal
> >>
> >> Program Committee
> >> =============
> >>
> >> Jonathan Aldrich, Carnegie Mellon University, USA
> >> Luis Barbosa, University of Minho, Portugal
> >> Bernhard Beckert, Karlsruhe Institute of Technology, Germany
> >> Antonio Brogi, University of Pisa, Italy
> >> Carlos Canal, University of Málaga, Spain
> >> Vittorio Cortellessa, University of L'Aquila, Italy
> >> Gregor Goessler, INRIA Grenoble - Rhône-Alpes, France
> >> Ludovic Henrio, INRIA Sophia Antipolis, France
> >> Paola Inverardi, Università dell'Aquila, Italy
> >> MohammadReza Mousavi, Eindhoven University of Technology, The
> Netherlands
> >> Jaco van de Pol, University of Twente, The Netherlands
> >> António Ravara, Technical University of Lisbon, Portugal
> >> Gwen Salaün, Grenoble INP - INRIA - LIG, France
> >> Carolyn Talcott, SRI International, USA
> >> Emilio Tuosto, University of Leicester, UK
> >> Mirko Viroli, University of Bologna,
> Italy_______________________________________________
> >> Agda mailing list
> >> Agda at lists.chalmers.se
> >> https://lists.chalmers.se/mailman/listinfo/agda
> >> _______________________________________________
> >> Swift-devel mailing list
> >> Swift-devel at ci.uchicago.edu
> >> http://mail.ci.uchicago.edu/mailman/listinfo/swift-devel
> >
> > --
> > Daniel S. Katz
> > University of Chicago
> > (773) 834-7186 (voice)
> > (773) 834-3700 (fax)
> > d.katz at ieee.org or dsk at ci.uchicago.edu
> > http://www.ci.uchicago.edu/~dsk/
> >
> >
> >
> > _______________________________________________
> > Swift-devel mailing list
> > Swift-devel at ci.uchicago.edu
> > http://mail.ci.uchicago.edu/mailman/listinfo/swift-devel
>
> _______________________________________________
> Swift-devel mailing list
> Swift-devel at ci.uchicago.edu
> http://mail.ci.uchicago.edu/mailman/listinfo/swift-devel
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/swift-devel/attachments/20110426/68e64547/attachment.html>
More information about the Swift-devel
mailing list