[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--------------------------------------------------------------------- CALL FOR PAPERS NEW: Deadlines extended !!! 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: 15 January 2008 (extended) ----> Paper submission: 22 January 2008 (extended) Author notification: 7 March 2008 Camera-ready copy: 26 March 2008 --------------------------------------------------------------------- http://discotec08.ifi.uio.no/Coordination08/ --------------------------------------------------------------------- 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 --------------------------------------------------------