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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 64AE9BC37 for ; Fri, 18 Dec 2009 16:31:55 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuEEAHwvK0uCiAFn/2dsb2JhbACQRwF0w2eCNYF5BA X-IronPort-AV: E=Sophos;i="4.47,418,1257116400"; d="scan'208";a="42351997" Received: from lec.cs.unibo.it ([130.136.1.103]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 18 Dec 2009 16:31:54 +0100 Received: from colline.cs.unibo.it (colline.cs.unibo.it [130.136.5.34]) by lec.cs.unibo.it (Postfix) with ESMTP id 76F2317E96 for ; Fri, 18 Dec 2009 16:31:54 +0100 (CET) Received: by colline.cs.unibo.it (Postfix, from userid 2137) id 692498101; Fri, 18 Dec 2009 16:31:54 +0100 (CET) To: caml-list@inria.fr Subject: DisCoTec 2010: Call for Papers Message-Id: <20091218153154.692498101@colline.cs.unibo.it> Date: Fri, 18 Dec 2009 16:31:54 +0100 (CET) From: zavattar@cs.unibo.it (Gianluigi Zavattaro) X-Spam: no; 0.00; unibo:01 ifip:01 ifip:01 run-time:01 lncs:01 universiteit:01 lncs:01 ruediger:01 hatcliff:01 10,:98 derrick:98 broch:98 norway:98 norway:98 abstract:01 [We apologize for multiple copies] ==================================================================== Call for Papers DisCoTec 2010 5th International Federated Conferences on Distributed Computing Techniques http://discotec.project.cwi.nl/ Amsterdam, Netherlands, 7-10 June 2010 ==================================================================== 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 08, 2010 Abstract Submission February 12, 2010 Paper Submission March 19, 2010 Notification of Acceptance April 02, 2010 Camera ready version June 07-09, 2010 Conference June 10, 2010 Workshops * 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. * Publication * Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer-Verlag in the LNCS series. * 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. * Publication * Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer-Verlag in the LNCS series. Extended versions of selected best papers published in DAIS'10 will be invited for publication in a dedicated special issue of Wiley Software: Practice and Experience * 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. * Publication * Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer-Verlag in the LNCS series. * Program Committee Chairs * John Hatcliff Kansas State University, United States of America Elena Zucca University of Genoa, Italy