From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id BFBBBBBAF for ; Wed, 24 Nov 2010 15:35:41 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.59,248,1288566000"; d="scan'208";a="80872584" Received: from ubac2.inrialpes.fr ([194.199.23.101]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/EDH-RSA-DES-CBC3-SHA; 24 Nov 2010 15:35:41 +0100 Received: (from salaun@localhost) by ubac2.inrialpes.fr (8.14.4+Sun/8.11.3) id oAOEZkF0013382 for caml-list@inria.fr; Wed, 24 Nov 2010 15:35:47 +0100 (CET) Date: Wed, 24 Nov 2010 15:35:47 +0100 (CET) From: DisCoTec2011@publicizing.org Message-Id: <201011241435.oAOEZkF0013382@ubac2.inrialpes.fr> X-Authentication-Warning: ubac2.inrialpes.fr: salaun set sender to DisCoTec2011@publicizing.org using -r To: caml-list@inria.fr Subject: Second Call for Papers: DisCoTec 2011, Reykjavik, Iceland (COORDINATION + DAIS + FMOODS/FORTE) X-Spam: no; 0.00; ifip:01 ifip:01 marjan:01 marjan:01 high-level:01 conceptually:01 event-driven:01 ad-hoc:01 universiteit:01 lncs:01 lncs:01 model:01 universiteit:01 winfried:01 guillaume:01 [We apologize for multiple copies] ==================================================================== Second Call for Papers and Workshops 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) Technical University of Paris, 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 - to be announced -------------------------------------------------------------------- Submission Guidelines Technical Papers: 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. 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. ==================================================================== 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. -------------------------------------------------------------------- Confirmed members of the Programme Committee (more to be added) - 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 - Juergen Dingel (co-chair), Queen's University, Kingston, Canada - Holger Giese, University of Potsdam, Germany - John Hatcliff, Kansas State University, USA - Valerie Issarny, INRIA Paris Rocquencourt, 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 - Uwe Nestmann, Technical University of Berlin, Germany - Peter Olvezcky, University of Oslo, Norway - Alexander Petrenko, CRIM Montreal, Canada - Frank Piessens, Katholieke Universiteit Leuven, Belgium - 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 ==================================================================== Call for Workshop Proposals DisCoTec 2011 invites proposals for one day workshops to be part of the joint event. DisCoTec 2011 hosts conferences in the area of coordination languages, distributed systems and formal methods for distributed systems, ranging from practice to theory. Following a good tradition we invite workshops in these areas to provide a forum for presentations of preliminary research results and ongoing work as well as presentations of research work to a focused audience. DisCoTec workshops provide a vivid and open forum for discussions. One day workshops will be held in conjunction with the main events. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise. Important Dates Workshop proposal deadline: December 17, 2010 Workshop proposal notification: December 23, 2010 Main Conference: June 6-8, 2011 Workshop: June 9, 2011 Submission and notification deadlines of the workshops are at the discretion of the individual workshop organizers, however notification must be no later than May 10th 2011, the early registration deadline, for DisCoTec. Proposal Submission Guidelines Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margin, and be submitted in PDF format via email to Marcello Bonsangue (marcello@liacs.nl). Proposals should include the following information: * The title, theme, and goals of the workshop. * The targeted audience and the expected number of participants. We prefer that workshops remain open to participation from any members of the community, but by-invitation-only workshops will also be considered. Please explicitly state your preference. * The publicity strategy that will be used by the workshop organizers to promote the workshop. * The participant solicitation and selection process. * Publication plan. Each workshop is responsible for managing its own publication (e.g., pre- or post- proceedings), if any is desired. * Approximate budget proposal (see section Budget below for details). * A preliminary version of the call for papers. This CFP must include important dates including submission, notification, and camera-ready deadlines. * The equipment and any other resource necessary for the organization of the workshop. * A brief description of the organizer's background, including relevant past experience on organizing workshops and contact information. Review Process Workshop proposals will be reviewed by the following committee: * Marjan Sirjani, Reykjavik University, IS (DiScoTec 2011 general chair) * Marcello M. Bonsangue, University of Leiden, NL (workshops co-chair) * Immo Grabe, CWI, NL (workshops co-chair) Acceptance is based on an evaluation of the workshop's potential for generating useful results, the timeliness and expected interest in the topic, the organizer's ability to lead a successful workshop, and potential for attracting sufficient number of participants. Workshop Publicity Workshop publicity is responsibility of the organizers. In particular they are responsible for the following items: 1. A workshop description (200 words) for inclusion on the DisCoTec site. 2. Hosting and maintaining web pages to be linked from the DisCoTec site. Workshop coordinators can integrate their pages into the wiki-page of DisCoTec 2011. 3. Workshop proceedings, if any. If there is enough interest, the organizer of DisCoTec 2011 may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of DisCoTec 2011. 4. Publicizing the event. Budget DisCoTec will provide registration and organizational support for the workshops. Registration fees must be paid for all participants, including organizers and invited guests. To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by the DisCoTec organizers as part of the registration, then additional funds will be redistributed to the individual workshop organizers. Contact Information Marcello Bonsangue (marcello@liacs.nl) Immo Grabe (Immo.Grabe@cwi.nl) --------------------------------------------------------------------