From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0O8I1Ob031066 for ; Mon, 24 Jan 2011 09:18:01 +0100 X-IronPort-AV: E=Sophos;i="4.60,369,1291590000"; d="scan'208";a="96304354" Received: from ubac2.inrialpes.fr ([194.199.23.101]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/EDH-RSA-DES-CBC3-SHA; 24 Jan 2011 09:17:56 +0100 Received: (from salaun@localhost) by ubac2.inrialpes.fr (8.14.4+Sun/8.11.3) id p0O8HxBf027242 for caml-list@inria.fr; Mon, 24 Jan 2011 09:17:59 +0100 (CET) Date: Mon, 24 Jan 2011 09:17:59 +0100 (CET) From: DisCoTec2011@publicizing.org Message-Id: <201101240817.p0O8HxBf027242@ubac2.inrialpes.fr> X-Authentication-Warning: ubac2.inrialpes.fr: salaun set sender to DisCoTec2011@publicizing.org using -r To: caml-list@inria.fr Subject: [Caml-list] Final Call for Papers: DisCoTec 2011, Reykjavik, Iceland (COORDINATION + DAIS + FMOODS/FORTE) [We apologize for multiple copies] ==================================================================== Final Call for Papers DisCoTec 2011 6th International Federated Conferences on Distributed Computing Techniques http://discotec.ru.is/ Reykjavik, Iceland, 6-9 June 2011 ==================================================================== The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IFIP). The main conferences are: * COORDINATION * DAIS * FMOODS & FORTE This year IFIP offers some travel grants for students and an award for the best paper of DisCoTec. All conferences share the same deadlines: * Important Dates * February 6, 2011 Abstract Submission February 13, 2011 Paper Submission March 20, 2011 Notification of Acceptance April 3, 2011 Camera ready version June 6-8, 2011 Conference June 9, 2011 Workshops * General Chair * Marjan Sirjani Reykjavik University, Iceland * Publicity Chair * Gwen Salaün Grenoble INP - INRIA, France * Workshops Chair * Marcello M. Bonsangue University of Leiden, Netherlands Immo Grabe CWI, Netherlands * Poster Session Chair * Martin Steffen University of Oslo, Norway * Steering Board * Elie Najm (Chair) Telecom ParisTech, France Rocco De Nicola University of Florence, Italy Kurt Geihs University of Kassel, Germany Farhad Arbab (Coordination) CWI, Netherlands Lea Kutvonen (DAIS) University of Helsinki, Finland John Derrick (FMOODS-FORTE) University of Sheffield, UK Frank de Boer CWI, Netherlands Marjan Sirjani Reykjavik University, Iceland ==================================================================== COORDINATION 2011 13th International Conference on Coordination Models and Languages -------------------------------------------------------------------- Scope COORDINATION is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent and distributed systems. Its distinctive feature is the emphasis on high-level abstractions that capture interaction patterns manifest at all levels of the software architecture and extending into the realm of the end-user domain. Social networking, Internet technologies, wireless communication, and inexpensive multicore processors altered fundamentally the computing milieu and the way one thinks about the development of modern software systems. Coordination techniques seek to enhance our ability to develop software that is responsive to emerging societal demands and changing application needs and exploits effectively recent advances in computing and communication technology. Coordination 2011 seeks high-quality contributions on the usage, study, design and implementation of languages, models and techniques for coordination in distributed, concurrent, and multicore software systems. The focus is on languages, formalisms, models, middleware, patterns, and algorithms that conceptually separate behavior from interaction. Research results should demonstrate an ability to increase modularity, simplify reasoning, and ultimately enhance the software development process. The conference is concerned with the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems. Both practical and foundational perspectives are of interest. Given the increasing importance of concurrency and distribution in almost every domain of our existence, the organizers of Coordination 2011 are keen to provide a forum for studies that address practical concerns and industrial grade solutions, e.g., the introduction of concurrency and distribution concepts to novel domains, comparative evaluations of programming models on important problems, and the adoption of domain-specific languages. Experience reports should describe lessons learned from the application of proposed models and techniques to problems in the real world. Coordination 2011 also seeks proposals for discussion panels. Proposed topics are expected to address new and exciting subjects that challenge fundamental assumptions or open new directions for creative and high-impact research. -------------------------------------------------------------------- Topics of Interest COORDINATION 2011 topics of interest include: PROGRAMMING ABSTRACTIONS AND LANGUAGES: Design and implementation of languages and middleware related to multicore programming, stream programming, data parallel programming, event-driven programming, web programming, reactive programming, ... COORDINATION MODELS AND PARADIGMS: Service composition and orchestration, tuple spaces, publish-subscribe systems, event processing, workflow management, ... SOFTWARE MANAGEMENT AND SOFTWARE ENGINEERING: Component and module systems for distributed software, dynamic software evolution and update technologies, configuration and deployment architectures, multicore and distributed patterns, ... SPECIFICATION AND VERIFICATION: Modeling and analysis of issues related to security, dependability, resource-awareness, real time, ... FOUNDATIONS AND TYPES: Calculi, process models, type systems for concurrency and distribution, component conformance, contracts, ... SOFTWARE FOR DECENTRALIZED TECHNOLOGIES: P2P frameworks, nomadic networks, mobile ad-hoc networks, sensor networks, RFID-technology, vehicle-area networks, body-area networks, Internet-of-Things, ... EXPERIENCE REPORTS: Case studies and industrial experiences with coordination in multicore and/or distributed development, business process modeling, e-commerce, app-development, web applications, ... COORDINATION FOR HUMANITY: Applications of coordination models to people-centric sensing, ambient intelligence, context-aware systems, Internet-of-Things for sustainability, ... -------------------------------------------------------------------- PC-Chairs Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Gruia-Catalin Roman (Washington University in Saint Louis, USA) Program committee - Doug Lea, OSWEGO State University of New York, USA - Susan Eisenbach, Imperial College London, UK - Patrick Eugster, Purdue University, USA - Manuel Serano, INRIA Sophia-Antipolis, France - John Field, IBM Research, USA - Rocco De Nicola, University of Florence, Italy - Dave Clarke, Katholieke Universiteit Leuven, Belgium - Marjan Sirjani, Reykjavik University, Island - Jean-Marie Jacquet, University of Namur, Belgium - Carolyn Talcott, SRI, USA - Vasco Vasconcelos, University of Lisbon, Portugal - Carlos Canal, University of Malaga, Spain - Mark Miller, Google, USA - Jay A. McCarthy, Brigham Young University, USA - Farhad Arbab, CWI, The Nederlands - Mirko Viroli, Universitŕ di Bologna, Italy - Robert Hirschfeld, HPI, Germany - Sun Meng, Peking University, China Steering Committee - Farhad Arbab, CWI, The Netherlands (chair) - Rocco De Nicola, University of Florence, Italy - Jean-Marie Jacquet, University of Namur, Belgium - Doug Lea, State University of New York at Oswego, USA - Gruia-Catalin Roman, Washington University in Saint Louis, USA - Carolyn Talcott, SRI, USA - Vasco T. Vasconcelos, University of Lisbon, Portugal - Herbert Wiklicky, Imperial College London, GB - Gianluigi Zavattaro, University of Bologna, Italy -------------------------------------------------------------------- Submission Guidelines Technical Papers and Experience Reports: All research and experience papers must report on original unpublished work and cannot be under review for publication elsewhere. Contributions should be submitted electronically as postscript or PDF, using the Springer LNCS style. Papers exceeding 15 pages in length will be rejected without a review. Each paper will undergo a thorough evaluation and the conference proceedings will be published by Springer-Verlag in the LNCS series. Proceedings will be made available at the conference. Submission is a firm commitment that at least one of the authors will attend the conference, if the paper is accepted. The papers must be prepared using the Springer LNCS style. Contributions should be submitted electronically in PDF via the EasyChair system: https://www.easychair.org/account/signin.cgi?conf=coordination2011 Panel Proposals: Panel proposals should include a description of the topic addressed by the panel, the name of the panel moderator, and a prospective list of panel members. Panel proposals should not exceed 2 pages. Proposals can be mailed directly to the chairs. ==================================================================== DAIS 2011 11th IFIP International Conference on Distributed Applications and Interoperable Systems -------------------------------------------------------------------- Scope Distributed application technology has become a foundation of the information society. Novel computing and communication technologies have brought a multitude of challenging application areas, including mobile computing, ubiquitous services, service-oriented architectures, autonomous and self-adapting systems, cloud computing, peer-to-peer systems, or social networks, just to name a few. New challenges include the need for novel abstractions supporting the development, deployment, management and interoperability of evolutionary and complex applications and services. Therefore, middleware technology that bridges applications, platforms and users through multi-disciplinary user requirements (like security, privacy, usability, efficiency, safety, semantic and pragmatic interoperability of data and services, dependability, trust and self-adaptivity) also become of special interest. It is envisaged that future complex applications will far exceed those of today in terms of such requirements. The DAIS conference series addresses all aspects of distributed applications, including their design, implementation and operation, supporting middleware, appropriate software engineering methodologies and tools, as well as experimental studies and practice reports. This time we particularly welcome in contributions on architectures, platforms, and infrastructures for large scale distributed applications and services. DAIS'11 is the 11th event in a series of successful international conferences started in 1997. It will provide a forum for researchers, application and platform service vendors, and users, to discuss and learn about new approaches, trends, concepts and experiences in the fields of distributed computing. -------------------------------------------------------------------- Topics of Interest DAIS'11 solicits high quality papers reporting research results and/or experience reports. Submissions will be judged on their originality, significance, interest, clarity, relevance, and correctness. DAIS'11 especially encourages submissions addressing the following topics: - Novel and innovative applications in the areas of: * Ubiquitous and pervasive computing * Sensor and actuator networks * Mobile computing * Peer-to-peer systems and platforms * Cloud and enterprise computing * Collaborative intelligent devices (e.g., robots) - Models, methodology and concepts supporting distributed applications with respect to: * Sustainability * Dependability and resilience * Evolution * Energy efficiency * Robustness and trust * Usability * Autonomy - Middleware and techniques supporting distributed applications in the areas of: * Adaptive and autonomic systems * Resilient systems * Mobile and ubiquitous systems * Context- and QoS-aware systems * Evolution of service-oriented applications * Enterprise-wide and global integration * Semantic interoperability * Application and service management * Domain-specific modelling languages * Model-driven software development, testing, validation, and adaptation * Model evolution * Software architectures and patterns -------------------------------------------------------------------- Paper Submission DAIS'11 seeks: - Full technical papers in no more than 14 pages - Work-in-progress papers, describing ongoing work and interim results, in no more than 6 pages 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. 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. Submission implies that at least one author will attend the conference if the paper is accepted. -------------------------------------------------------------------- Program Chairs - Pascal Felber, University of Neuchâtel, Switzerland - Romain Rouvoy, University Lille 1, France Steering Committee - Frank Eliassen, University of Oslo, Norway - Kurt Geihs, University of Kassel, Germany - Jadwiga Indulska, University of Queensland, Australia - Rüdiger Kapitza, University of Erlangen, Germany - Lea Kutvonen (chair), University of Helsinki, Finland - Elie Najm, Telecom-ParisTech, France - Rui Oliveira, Universidade do Minho, Portugal - Twittie Senivongse, Chulalongkorn University, Thailand Program Committee - Umesh Bellur, Indian Institute of Technology Bombay, India - Yolande Berbers, Katholieke Universiteit Leuven, Belgium - Gordon Blair, Lancaster University, UK - António Casimiro, University of Lisbon, Portugal - Emmanuel Cecchet, University of Massachusetts, USA - Ada Diaconescu , TELECOM ParisTech, France - Jim Dowling, SICS, Sweden - Frank Eliassen , University of Oslo, Norway - Pascal Felber, Université de Neuchâtel, Switzerland - Kurt Geihs, University of Kassel, Germany - Karl Göschka, Vienna University of Technology, Austria - Peter Herrmann, NTNU Trondheim, Norway - Hans-Arno Jacobsen, University of Toronto, Canada - Rüdiger Kapitza , University of Erlangen-Nürnberg, Germany - Reinhold Kröger, University of Applied Sciences, Wiesbaden, Germany - Lea Kutvonen, University of Helsinki, Finland - Winfried Lamersdorf, University of Hamburg, Germany - Peter Linington, University of Kent, UK - René Meier, Trinity College Dublin, Ireland - Nitya Narasimhan, Motorola Labs, USA - José Pereira, Universidade do Minho, Portugal - Guillaume Pierre, Vrije Universiteit Amsterdam, The Netherlands - Peter Pietzuch, Imperial College London, UK - Frantisek Plasil , Charles University, Czech Republic - Etienne Rivičre, Université de Neuchâtel, Switzerland - Romain Rouvoy, University Lille 1, France - Sotirios Terzis, University of Strathclyde, UK - Gaël Thomas , LIP6, France ==================================================================== FMOODS & FORTE 2011 IFIP International Conference on Formal Techniques for Distributed Systems joint international conference 13th Formal Methods for Open Object-Based Distributed Systems 31th Formal Techniques for Networked and Distributed Systems -------------------------------------------------------------------- Objectives and Scope The joint 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, with special interest in the areas of: * component- and model-based design * object technology, modularity, software adaptation * service-oriented, ubiquitous, pervasive, grid, cloud and mobile computing systems * software quality, reliability and security The conference encourages contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems. 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 * 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 * Applications of Formal Methods: applying the existing methods and techniques to distributed systems, particularly web services, multimedia systems, and telecommunications * 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 -------------------------------------------------------------------- Proceedings and Submission guidelines The FMOODS & FORTE 2011 conference calls for high quality papers presenting research results and/or application reports related to the research areas in conference scope. The conference proceedings will be published by Springer Verlag in the LNCS series. Proceedings will be made available at the conference. All papers must be original, unpublished, and not submitted for publication elsewhere. Contributions should be submitted electronically in PDF via the EasyChair system at the URL https://www.easychair.org/account/signin.cgi?conf=fmoodsforte11 Each paper will undergo a peer review of at least 3 anonymous reviewers. The papers must be prepared using the SPRINGER LNCS style, available at the URL http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers must not exceed 15 pages in length, including figures and references. For referees' convenience, any additional material that may help assessing the merits of the submission but not to be included in the final version, like some detailed proofs, may be placed in a clearly marked appendix (not to be counted in the page limit). Referees are at liberty to ignore the appendix, and papers must be understandable without them. Submissions not adhering to the above specified constraints may be rejected immediately, without review. -------------------------------------------------------------------- Programme Committee - Saddek Bensalem, University Joseph Fourier, France - Dirk Beyer, University of Passau, Germany - Gregor Bochmann, University of Ottawa, Canada - Roberto Bruni (co-chair), University of Pisa, Italy - Nancy Day, University of Waterloo, Canada - John Derrick, University of Sheffield, UK - Juergen Dingel (co-chair), Queen's University, Kingston, Canada - Khaled El-Fakih, American University of Sharjah, UAE - Holger Giese, University of Potsdam, Germany - John Hatcliff, Kansas State University, USA - Valerie Issarny, INRIA Paris Rocquencourt, France - Claude Jard, INRIA/IRISA Rennes, France - Einar Broch Johnsen, University of Oslo, Norway - Ferhat Khendek, Concordia University, Canada - Jay Ligatti, University of South Florida, USA - Luigi Logrippo, University of Quebec - Outaouais, Canada - Niels Lohmann, University of Rostock, Germany - Fabio Massacci, University of Trento, Italy - Uwe Nestmann, Technical University of Berlin, Germany - Peter Olveczky, University of Oslo, Norway - Alexandre Petrenko, CRIM Montreal, Canada - Frank Piessens, Katholieke Universiteit Leuven, Belgium - Andre Platzer, Carnegie Mellon University, USA - Antonio Ravara, Technical University of Lisbon, Portugal - Ken Turner, University of Stirling, UK - Keiichi Yasumoto, Nara Institute of Science and Technology, Japan - Nobuko Yoshida, Imperial College London, UK - Elena Zucca, University of Genova, Italy -------------------------------------------------------------------- Steering Committee - Gilles Barthe, IMDEA Software, Spain - Gregor v. Bochmann, University of Ottawa, Canada - Frank S. de Boer, Centrum voor Wiskunde en Informatica, the Netherlands - John Derrick, University of Sheffield, UK - Khaled El-Fakih, American University of Sharjah, UAE - Roberto Gorrieri, University of Bologna, Italy - John Hatcliff, Kansas State University, USA - David Lee, The Ohio State University, USA - Antonia Lopes, University of Lisbon, Portugal - Elie Najm (chair), Telecom ParisTech, France - Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany - Antonio Ravara, Technical University of Lisbon, Portugal - Carolyn Talcott, SRI International, USA - Ken Turner, University of Stirling, UK - Keiichi Yasumoto, NAIST, Japan - Elena Zucca, University of Genova, Italy -------------------------------------------------------------------- Contact Information: fmoodsforte11@easychair.org --------------------------------------------------------------------