[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
---------------------------------------------------------------------
2nd CALL FOR PAPERS
COORDINATION 2008
10th International Conference on Coordination Models and Languages
Member of the Confederated Conferences on
Distributed Computing Techniques (DisCoTec 2008)
Oslo, Norway 4 - 6 June 2008
---------------------------------------------------------------------
Abstract submission: 8 January 2008
Paper submission: 15 January 2008
Author notification: 7 March 2008
Camera-ready copy: 26 March 2008
---------------------------------------------------------------------
http://discotec08.ifi.uio.no/Coordination08/
---------------------------------------------------------------------
Novelties of the 2nd Call for Papers:
- Invited speakers
- Submission open
---------------------------------------------------------------------
Modern information systems rely increasingly on combining concurrent,
distributed, real-time, reconfigurable and heterogeneous components.
New models, architectures, languages, and verification techniques are
necessary to cope with the complexity induced by the demands of
today's software development. COORDINATION aims to explore the
spectrum of languages, middleware, services, and algorithms that
separate behavior from interaction, therefore increasing modularity,
simplifying reasoning, and ultimately enhancing software development.
Topics of interest:
- MODELS AND FOUNDATIONS: models for distributed and concurrent
interaction, component composition, service orchestration,
workflow management.
- SPECIFICATION AND VERIFICATION: modeling and analysis of properties
related to security, dependability, resource-awareness,
real-time.
- DYNAMIC SOFTWARE ARCHITECTURES: software composition and scripting
languages, dynamic software evolution and update, configuration
and deployment languages.
- PROGRAMMING ABSTRACTIONS AND LANGUAGES: techniques that support
orchestration and control of distributed and concurrent
interaction.
- MIDDLEWARE ARCHITECTURES: shared spaces, publish-subscribe,
event-based.
- DECENTRALIZED AND DISTRIBUTED ARCHITECTURES: P2P, mobile ad-hoc
and sensor networks.
- CASE STUDIES: application of coordination techniques in business
process modelling, e-commerce, factory automation, collaboration,
command and control.
INVITED SPEAKERS:
The invited lectures will be given in joint sessions among
Coordination'08 and the two confederated conferences Distributed
Applications and Interoperable Systems (DAIS'08) and Formal Methods
for Open Object-based Distributed Systems (FMOODS'08):
- Matt Welsh, Harvard University, USA (invited by Coordination'08)
- Alexander Wolf, Imperial College London, UK (invited by DAIS'08)
- Andrew Myers, Cornell University, USA (invited by FMOODS'08)
DisCoTec'08 ORGANISERS:
General chairs:
Frank Eliassen, University of Oslo, Norway Einar Broch Johnsen, University of
Oslo, Norway
COORDINATION'08 ORGANIZERS:
PC chairs:
Doug Lea, State University of New York at Oswego, USA Gianluigi Zavattaro,
University of Bologna, Italy
Publicity Chair:
Herbert Wiklicky, Imperial College London, UK
Steering Committee:
Farhad Arbab, CWI, The Netherlands
Paolo Ciancarini, University of Bologna, Italy
Rocco De Nicola, University of Florence, Italy (CHAIR)
Chris Hankin, Imperial College London, UK
Jean-Marie Jacquet, University of Namur, Belgium
Amy L. Murphy, ITC-IRST, Italy & University of Lugano, Switzerland
Gian Pietro Picco, University of Trento, Italy
Gruia-Catalin Roman, Washington University in Saint Louis, USA
Carolyn Talcott, SRI International, USA
Jan Vitek, Purdue University, USA
Herbert Wiklicky, Imperial College London, UK
Program Committee :
Gul Agha, Univ. Illinois at Urbana Champaign, USA
Farhad Arbab, CWI, NL
Roberto Bruni, Univ. PISA, IT
William Cook, University of Texas, Austin, USA
Rocco De Nicola, University of Florence, IT
John Field, IBM, USA
Aniruddha Gokhale, Vanderbilt, USA
Mike Hicks, University of Maryland, USA
Kohei Honda, Queen Mary, UK
Jean-Marie Jacquet, University of Namur, BE
Doug Lea, State University of New York at Oswego, USA (CHAIR) Amy L. Murphy,
ITC-IRST, IT & U. of Lugano, CH
Peter O'Hearn, Queen Mary, UK
Gruia-Catalin Roman, Washington University in Saint Louis, USA
Vijay Saraswat, Penn State/IBM, USA
Carolyn Talcott, SRI International, USA
Wil van der Aalst, Eindhoven/Queensland, NL/AU
Jan Vitek, Purdue University, USA
Franco Zambonelli, Univ. Modena e Reggio Emilia, IT
Gianluigi Zavattaro, University of Bologna, Italy (CHAIR)
SUBMISSION GUIDELINES:
The Coordination 2008 conference solicits high quality papers
reporting research results and/or experience reports related to the
topics mentioned above. All papers must be original, unpublished, and
not submitted for publication elsewhere. Contributions should be
submitted electronically as postscript or PDF, using the SPRINGER
LNCS style. Papers should not exceed 15 pages in length. Each paper
will undergo a thorough process of review and the conference
proceedings will be published by Springer-Verlag in the LNCS series.
Proceedings will be made available at the conference. Selected papers
will be invited to a special issue of The Science of Computer
Programming journal. Only electronic submission is admitted
through the conference web site.
--------------------------------------------------------
Herbert Wiklicky Department of Computing
Tel +44-20-75948206 Imperial College
Fax +44-20-75818024 Huxley Building
[EMAIL PROTECTED] 180 Queen's Gate
http://www.doc.ic.ac.uk/~herbert London SW7 2AZ, UK
--------------------------------------------------------
