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 D896EBC57 for ; Fri, 16 Apr 2010 16:16:20 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnQBAIcNyEuCiAFnl2dsb2JhbACPeQGLeRUBAQEBAQgVBzO+K4Jggi4E X-IronPort-AV: E=Sophos;i="4.52,219,1270418400"; d="scan'208";a="49019913" Received: from lec.cs.unibo.it ([130.136.1.103]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 16 Apr 2010 16:16:20 +0200 Received: from colline.cs.unibo.it (colline.cs.unibo.it [130.136.5.34]) by lec.cs.unibo.it (Postfix) with ESMTP id 5CC4917E8F for ; Fri, 16 Apr 2010 16:16:20 +0200 (CEST) Received: by colline.cs.unibo.it (Postfix, from userid 2137) id 559C78290; Fri, 16 Apr 2010 16:16:20 +0200 (CEST) To: caml-list@inria.fr Subject: DisCoTec 2010: Call for Participation Message-Id: <20100416141620.559C78290@colline.cs.unibo.it> Date: Fri, 16 Apr 2010 16:16:20 +0200 (CEST) From: zavattar@cs.unibo.it (Gianluigi Zavattaro) X-Spam: no; 0.00; unibo:01 ifip:01 ifip:01 run-time:01 universiteit:01 ruediger:01 hatcliff:01 derrick:98 broch:98 norway:98 norway:98 experimental:01 pervasive:01 pervasive:01 modularity:02 [We apologize for multiple copies] ==================================================================== DisCoTec 2010 5th International Federated Conferences on Distributed Computing Techniques http://discotec.project.cwi.nl/ Amsterdam, The Netherlands, 7-10 June 2010 Call for Participation ==================================================================== 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 The DisCoTec invited speakers are: Joe Armstrong, Ericsson Telecom AB Gerard Holzmann, Jet Propulsion Laboratory, USA Joost Roelands, Director of Development Netlog This year the conference program includes also special sessions dedicated to the Celebration of the 30th Anniversary of FORTE, the IFIP International Conference on Formal Techniques for Networked and Distributed Systems. DisCoTec includes also the following satellite workshops: * CAMPUS'10: 3rd Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services * CS2Bio'10: 1st International Workshop on Interactions between Computer Science and Biology * DCDP'10: Decentralized Coordination of Distributed Processes * ICE'10: 3rd Interaction and Concurrency Experience * General Chair * Frank S. de Boer CWI, Netherlands * Publicity Chair * Gianluigi Zavattaro University of Bologna, Italy * Workshops Chair * Marcello M. Bonsangue University of Leiden, Netherlands * Advisory Board * John Derrick University of Sheffield, UK Einar Broch Johnsen University of Oslo, Norway Elie Najm Technical University of Paris, France Rocco De Nicola University of Florence, Italy George Angelos Papadopoulos University of Cyprus, Cyprus Antonio Ravara University of Lisboa, Portugal Gianluigi Zavattaro University of Bologna, Italy -------------------------------------------------------------------- COORDINATION 12th International Conference on Coordination Models and Languages http://discotec.project.cwi.nl/COORDINATION -------------------------------------------------------------------- * Scope * Coordination 2010 seeks high-quality papers on programming languages and coordination models, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. 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, run-time systems, and related verification and analysis techniques. Past incarnations of Coordination have emphasized foundations. However, given the increasing importance of concurrency in almost every software domain, the organizers of Coordination 2010 are keen to provide a strong forum for high-quality papers that address practical aspects of concurrent programming models; for example, application of concurrency to novel domains, comparisons of alternative programming models on important problems, or domain-specific languages. * Program Committee Chairs * Dave Clarke Katholieke Universiteit Leuven, Belgium Gul Agha University of Illinois at Urbana-Champaign, USA -------------------------------------------------------------------- DAIS 10th IFIP International Conference on Distributed Applications and Interoperable Systems http://discotec.project.cwi.nl/DAIS -------------------------------------------------------------------- * Scope * The DAIS conference series addresses all aspects of distributed applications, including their design, implementation and operation, the supporting middleware, appropriate software engineering methodologies and tools, as well as experimental studies and practice reports. This time we welcome in particular contributions on architectures, models, technologies and platforms for large scale and complex distributed applications and services that are related to the latest trends towards bridging the physical/virtual worlds based on flexible and versatile service architectures and platforms. * Program Committee Chairs * Frank Eliassen University of Oslo, Norway Ruediger Kapitza University of Erlangen, Germany -------------------------------------------------------------------- FMOODS & FORTE 12th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems http://discotec.project.cwi.nl/FmoodsForte -------------------------------------------------------------------- * 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 * object technology, modularity, software adaptation * service-oriented, ubiquitous, pervasive, grid and mobile computing * software quality, reliability and security 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. * Program Committee Chairs * John Hatcliff Kansas State University, United States of America Elena Zucca University of Genoa, Italy