[Swift-devel] co-ordination languages (CFP)

Sun Apr 24 09:03:17 CDT 2011

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/