From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id ADBD8BBAF for ; Fri, 19 Dec 2008 10:36:54 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,248,1228086000"; d="scan'208";a="20596593" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Dec 2008 10:36:54 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mBJ9arHB020857 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 19 Dec 2008 10:36:54 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak0BAOH5SkmB8Ao6mWdsb2JhbACTYgEBAQEBCAsKBxGqaViQU4FxgRI X-IronPort-AV: E=Sophos;i="4.36,248,1228086000"; d="scan'208";a="21507901" Received: from mail-out2.uio.no ([129.240.10.58]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Dec 2008 10:36:53 +0100 Received: from mail-mx5.uio.no ([129.240.10.46]) by mail-out2.uio.no with esmtp (Exim 4.69) (envelope-from ) id 1LDbmu-00075C-Gr for caml-list@inria.fr; Fri, 19 Dec 2008 10:36:52 +0100 Received: from waterford.ifi.uio.no ([129.240.69.93] helo=waterford.ifi.uio.no.shmi.ifi.uio.no) by mail-mx5.uio.no with esmtpsa (TLSv1:AES256-SHA:256) user msteffen (Exim 4.69) (envelope-from ) id 1LDbmt-0004Ds-SH; Fri, 19 Dec 2008 10:36:52 +0100 To: OCaml Mailing List Subject: Joint Call for Papers: Distributed Computing Techniques 2009, Lisbon (DAIS + FMOODS/FORTE + COORDINATION) From: Martin Steffen Organization: IFI UiO Norway Date: Fri, 19 Dec 2008 10:32:49 +0100 Message-ID: User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-UiO-Spam-info: not spam, SpamAssassin (score=-5.0, required=5.0, autolearn=disabled, UIO_MAIL_IS_INTERNAL=-5, uiobl=NO, uiouri=NO) X-UiO-Scanned: 52D7EF8FBE202A967C113EA66B60DB29826F9CBD X-UiO-SPAM-Test: remote_host: 129.240.69.93 spam_score: -49 maxlevel 200 minaction 1 bait 0 mail/h: 4 total 4217 max/h 240 blacklist 0 greylist 1 ratelimit 0 X-Miltered: at discorde with ID 494B6B35.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; runtime:01 event-driven:01 high-level:01 runtime:01 ad-hoc:01 lncs:01 lncs:01 hankin:01 ifip:01 ifip:01 ad-hoc:01 model:01 hartmut:01 hartmut:01 semantics:01 Second Joint Call for Papers: Federated Conferences on Distributed Computing Techniques http://discotec09.di.fc.ul.pt/ Lisbon, Portugal 8 - 12 June 2009 ------------------------------------------ Coordination'09 DAIS'09 FMOODS/FORTE'09 ------------------------------------------ ----------------------------------------------------------------- CALL FOR PAPERS Coordination 2009 Languages, Models, and Architectures for Concurrent and Distributed Software 11th International Conference Member of the Federated Conferences on Distributed Computing Techniques Lisbon, Portugal 8 - 12 June 2009 ------------------------------------------------------------------------- http://discotec09.di.fc.ul.pt/coordination ------------------------------------------------------------------------- Abstract submission: 28 January 2009 Paper submission: 1 February 2009 Author notification: 16 March 2009 Camera-ready copy: 1 April 2009 Conference: 9 - 11 June 2009 ------------------------------------------------------------------------- Scope Modern software lives in a concurrent world. The ubiquity of the Internet allows distributed software components to be composed into complex networked systems. At the other end of the spectrum, with multicore processors now the norm, concurrency is frequently necessary to maximize application performance. Coordination 2009 seeks high-quality papers on programming languages, models, and architectures that address the challenge of building robust distributed and concurrent applications. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, runtime systems, and related verification and analysis techniques. Topics of Interest DISTRIBUTED AND CONCURRENT PROGRAMMING MODELS: multicore programming, stream programming, data parallel programming, event-driven programming, web programming FOUNDATIONS OF DISTRIBUTED AND CONCURRENT INTERACTION: models for processes, service composition and orchestration, workflow management, data query, tuple spaces SPECIFICATION, VERIFICATION, AND TYPES: modeling and analysis of types and properties related to security, dependability, resource consumption, and component conformance for concurrent and distributed systems HIGH-LEVEL OPTIMIZATIONS: program transformations for performance enhancement, runtime load balancing techniques, static and dynamic resource management QUALITY OF SERVICE: fault-tolerant programming models and runtime support, models with responsiveness guarantees DISTRIBUTED SOFTWARE MANAGEMENT: component and module systems for distributed software, dynamic software evolution and update technologies, configuration and deployment architectures SYSTEM SUPPORT FOR PROGRAMMING MODELS: P2P frameworks, mobile ad-hoc networks, sensor networks, publish-subscribe systems, event processing CASE STUDIES: application of novel distributed and concurrent techniques in business process modeling, e-commerce, factory automation, collaboration, command and control ------------------------------------------------------------------------- Submission Guidelines The Coordination 2009 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 journal Science of Computer Programming ------------------------------------------------------------------------- Coordination '09 Organization PC Chairs: John Field, IBM Research, USA Vasco T. Vasconcelos, University of Lisbon, Portugal Program Committee: TBA Steering Committee: Farhad Arbab, CWI, NL Rocco De Nicola, University of Florence, IT (CHAIR) Chris Hankin, Imperial College London, UK Jean-Marie Jacquet, University of Namur, BE Doug Lea, State University of New York, USA Amy L. Murphy, ITC-IRST, IT & University of Lugano, CH 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 Gianluigi Zavattaro, University of Bologna, IT ------------------------------------------------------------------------- DisCoTec '09 Organization Antonio Ravara, Technical University of Lisbon, PT (General Chair) Carla Ferreira, New University of Lisbon, PT Ana Almeida Matos, Technical University of Lisbon, PT Workshops Chair Francisco Martins, University of Lisbon, PT Publicity Chair Martin Steffen, University of Oslo, NO --------------------------------------------------------------------- CALL FOR PAPERS DAIS 2009 9th IFIP International Conference on Distributed Applications and Interoperable Systems Lisbon, Portugal 10 - 12 June 2009 --------------------------------------------------------------------- http://discotec09.di.fc.ul.pt/DAIS09 --------------------------------------------------------------------- The 9th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS) is part of the federated conferences DisCoTec (Distributed Computing Techniques), together with the 11th International Conference on Coordination Models and Languages (COORDINATION) and the 11th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS). OBJECTIVES AND SCOPE: Established in 1997, the DAIS series of conferences aims to provide an integrated forum for research on all aspects of distributed applications and interoperable systems. DAIS 2009 conference themes include but are not limited to: Innovative distributed applications in the areas of Cloud and enterprise computing Very large scale and peer-to-peer computing Mobile, context-aware, and pervasive computing Sensor networks and ad-hoc networks Models and concepts supporting distributed applications in the areas of Sustainability Resiliency Evolution =09=09 Middleware supporting distributed applications in the areas of Autonomic and resilient systems Mobile systems Context- and QoS-aware systems Evolution of service-oriented applications Enterprise-wide and global integration Semantic interoperability Application management Software engineering of distributed applications Domain-specific modelling languages Model-driven software development, testing,validation, and adaptation Model evolution Software architecture and patterns INVITED SPEAKER: TBA ORGANISERS: General chair: Antonio Ravara, Instituto Superior Tecnico, Portugal PC chairs: Rui Oliveira, Universidade do Minho, Portugal Twittie Senivongse, Chulalongkorn University, Thailand Publicity Chair: Hartmut Koenig, BTU Cottbus, Germany Steering Committee: Frank Eliassen, University of Oslo, Norway=20 Kurt Geihs, University of Kassel, Germany=20 Jadwiga Indulska, University of Queensland, Australia=20 Hartmut K=C3=B6nig, BTU Cottbus, Germany=20 Lea Kutvonen, University of Helsinki, Finland Ren=C3=A9 Meier, Trinity College Dublin, Ireland=20=20 Alberto Montresor, University of Trento, Italy=20 Elie Najm, ENST, France=20 Kerry Raymond, University of Queensland, Australia Sotirios Terzis, University of Strathclyde, UK=20 Program Committee: (TBA) IMPORTANT DATES: 12 January 2009: Abstract submission 19 January 2009: Paper submission (full and work-in-progress papers) 13 March 2009: Author notification 1 April 2009: Camera-ready version 10-12 June 2009: DAIS 2009 conference SUBMISSION GUIDELINES:=20 The DAIS 2009 conference solicits high quality papers reporting research results and/or experience reports related to the themes 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. Full technical papers should not exceed 14 pages in length while work-in-progress papers should not exceed 6 pages in length. Submission implies the acceptance that at least one author will attend the conference if the paper is accepted. 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. More specific guidelines on the preparation of papers can be found on the conference website. CALL FOR PAPERS =20=20 FMOODS/FORTE IFIP International Conference on Formal Techniques for Distributed Systems as joint international conference of FMOODS/FORTE (11th Formal Methods for Open Object-Based Distributed Systems and 29th For= mal Techniques for Networked and Distributed Systems) Lisbon, Portugal, June 9-11, 2009 The IFIP International Conference on Formal Techniques for Distributed Systems is formed jointly from the two conference series FMOODS and FORTE. It is part of the federated conference event DisCoTec (Distributed Computing Techniques) which also includes the 11th International Conference on Coordination Models and Languages (COORDINATION) and the 9th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). The event will be hosted by the Faculty of Sciences of the University of Lisbon. ---------------------------------------------------------------------------= ---------------------------- Important dates * Abstract submission: 28 January 2009 * Paper submission: 1 February 2009 * Author notification: 16 March 2009 * Camera-ready copy: 1 April 2009=20 ---------------------------------------------------------------------------= ---------------------------- Objectives and Scope The joined conference FMOODS/FORTE is a forum for fundamental research on theory and applications of distributed systems. The conference solicits original contributions that advance the science and technologies for distributed systems, in particular in the areas of: * Component- and model-based design * Service-oriented, ubiquitous, pervasive, grid and mobile computing * Software quality, reliability and security=20 The conference encourages contributions that combine theory and practice, address problems from the development of distributed systems, and present novel solutions with formal methods and theoretical foundations. FMOODS/FORTE covers distributed computing models and formal specification, testing and verification methods. The application domains include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real time systems, as well as networking and communication security and reliability. ---------------------------------------------------------------------------= ---------------------------- Topics of interest include but are not limited to: * Languages and Semantic Foundations: new modeling and language concepts for distribution and concurrency, semantics for different types of languages, including programming languages, modeling languages, and domain specific languages; real-time and probability aspects; type systems and behavioral typing=20=20 * Formal Methods and Techniques: design, specification, analysis, verification, validation and testing of various types of distributed systems including communications and network protocols, service-oriented systems, and adaptive distributed systems=20=20 * Applications of Formal Methods: applying the existing methods and techniques to distributed systems, particularly web services, multimedia systems, and telecommunications=20=20 * Practical Experience with Formal Methods: industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems=20=20 ---------------------------------------------------------------------------= ---------------------------- Proceedings and Submission guidelines The FMOODS/FORTE 2009 conference calls for high quality papers presenting research results and/or application reports related to the topics in conference scope as described above. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically in PDF, using the SPRINGER LNCS style. Papers should not exceed 15 pages in length. Each paper will undergo a peer review of at least 3 anonymous reviewers.=20 The conference proceedings will be published by Springer Verlag in the LNCS series. Proceedings will be made available at the conference. In addition, the journal Higher Order and Symbolic Computation will publish a special issue consisting of extended versions of the top ranking papers from FMOODS/FORTE 2009