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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 7C1A9BBAF for ; Mon, 17 May 2010 11:49:05 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8EAGKu8EuCiAFn/2dsb2JhbACRfAGMA3G7XIJggjAE X-IronPort-AV: E=Sophos;i="4.53,247,1272837600"; d="scan'208";a="50725305" Received: from lec.cs.unibo.it ([130.136.1.103]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 17 May 2010 11:49:05 +0200 Received: from colline.cs.unibo.it (colline.cs.unibo.it [130.136.5.34]) by lec.cs.unibo.it (Postfix) with ESMTP id 53F2717E8C for ; Mon, 17 May 2010 11:49:04 +0200 (CEST) Received: by colline.cs.unibo.it (Postfix, from userid 2137) id 41AB28290; Mon, 17 May 2010 11:49:04 +0200 (CEST) To: caml-list@inria.fr Subject: DisCoTec 2010: Call for Participation Message-Id: <20100517094904.41AB28290@colline.cs.unibo.it> Date: Mon, 17 May 2010 11:49:04 +0200 (CEST) From: zavattar@cs.unibo.it (Gianluigi Zavattaro) X-Spam: no; 0.00; unibo:01 ifip:01 ifip:01 brinksma:01 twente:01 run-time:01 universiteit:01 ruediger:01 hatcliff:01 cloud:98 cloud:98 derrick:98 broch:98 norway:98 norway:98 [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 Erlang-style concurrency Gerard J. Holzmann, Jet Propulsion Laboratory, USA Formal Software Verification: How Close Are We? Joost Roelands, Director of Development Netlog Distributed Social Data 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. These special sessions will include the invited talk by Gerard Holmann and the following lectures: Gregor v. Bochmann, University of Ottawa, Canada The early times of protocol engineering Ed Brinksma, Twente University, The Netherlands Testing Times: 20 years of research and collaboration in conformance testing Tommaso Bolognesi, CNR-Pisa, Italy Is the Big-Bang Object-Oriented? "Can we use Formal Methods for understanding the early Universe?" Gianluigi Zavattaro, University of Bologna, Italy Moving to the Cloud: "If you put your files on Dropbox, why don't you put your processes on the Cloud?" 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 Telecom ParisTech, 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