From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 361C1BC37 for ; Fri, 1 May 2009 00:08:51 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoEDANO++UmB8Ao5jGdsb2JhbACNaQGIfwEBAQoLCgcQuT2COgGBRAWIGgM X-IronPort-AV: E=Sophos;i="4.40,275,1238968800"; d="scan'208";a="39299137" Received: from mail-out1.uio.no ([129.240.10.57]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 May 2009 00:08:25 +0200 Received: from mail-mx3.uio.no ([129.240.10.44]) by mail-out1.uio.no with esmtp (Exim 4.69) (envelope-from ) id 1LzeQa-0002ac-F6 for caml-list@inria.fr; Fri, 01 May 2009 00:08:24 +0200 Received: from ben.ifi.uio.no ([129.240.64.202]) by mail-mx3.uio.no with esmtp (Exim 4.69) (envelope-from ) id 1LzeQa-0005nc-3f for caml-list@inria.fr; Fri, 01 May 2009 00:08:24 +0200 Received: from msteffen by ben.ifi.uio.no with local (Exim 4.44) id 1LzeQa-0006s9-17 for caml-list@inria.fr; Fri, 01 May 2009 00:08:24 +0200 To: caml-list@inria.fr Subject: Call for Participation: Distributed Computing Techniques: DisCoTec 2009 (DAIS + FMOODS/FORTE + COORDINATION), Lisbon, 9-12 June 2009, student grants available Message-Id: From: Martin Steffen Date: Fri, 01 May 2009 00:08:24 +0200 X-UiO-Ratelimit-Test: rcpts/h 7 msgs/h 6 sum rcpts/h 17 sum msgs/h 11 total rcpts 62 max rcpts/h 16 ratelimit 0 X-UiO-Spam-info: not spam, SpamAssassin (score=-5.0, required=5.0, autolearn=disabled, UIO_MAIL_IS_INTERNAL=-5, uiobl=_BLID_, uiouri=_URIID_) X-UiO-Scanned: 6CA7CCA768166BAA2166105709C5851C1CB14807 X-UiO-SPAM-Test: remote_host: 129.240.64.202 spam_score: -49 maxlevel 80 minaction 2 bait 0 mail/h: 5 total 10878 max/h 935 blacklist 0 greylist 0 ratelimit 0 X-Spam: no; 0.00; ifip:01 web-page:01 co-located:01 barthe:01 drossopoulou:01 co-located:01 tobias:01 joachim:01 maraninchi:01 fairness:01 model:01 hein:01 aggregation:01 model:01 pellerin:01 Call for Participation: ============================================================ Federated Conferences on Distributed Computing Techniques http://discotec09.di.fc.ul.pt/ Lisbon, Portugal 9 - 12 June 2009 The event is organised by the Instituto de Telecomunicacoes. o Main federated events: ------------------------------------------. Coordination'09: 11th International Conference on Coordination Models and Languages DAIS'09: 9th IFIP International Conference on Distributed Applications and Interoperable Systems FMOODS/FORTE'09: 11th Formal Methods for Open Object-Based Distributed Systems & 29th Formal Techniques for Networked and Distributed Systems -------------------------------------------------------------------- o Registration: - Early registration deadline: May 17, 2009. - Register via http://discotec09.di.fc.ul.pt/ o Grants: - Grants are offered for student participants of DisCoTec & the affiliated tutorial (see below) - See the web-page for conditions and for the application forms - Deadline May 11, 2009 o Invited speakers: - Jayadev Misra, University of Texas at Austin, USA, - Manuel Serrano, INRIA, France - Raghu Ramakrishnan, University of Wisconsin-Madison, USA =================================================================== Besides the main federated 3 international conferences, DisCoTec'09 offers a varied and rich co-located program of workshops and scientific meetings on related topics plus a tutorial. See the website for different reduced registration prices when registering for combinations of events: o Workshops (12 June): - CAMPUS 2009: 2nd Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services - MAI 2009: 3rd Workshop on Middleware-Application Interaction o Tutorial: Global Computing Tutorial Series (9-11 June, promoted by the Sensoria and Mobius European projects) - Gilles Barthe, "Verification Methods for Software Security and Correctness" (Mobius) - Sophia Drossopoulou, "Types for Alias Control and Verification" (Mobius) - Jose Luiz Fiadeiro, "A Formal Approach to Service-Oriented Modelling" (Sensoria) - Flemming Nielson, "Static Security Analysis of Service-Oriented Systems" (Sensoria) o Co-located events - 10th International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI'09) (11-12 June) - Sensoria meeting: (7-9 June, Software Engineering for Service-Oriented Computers http://www.sensoria-ist.eu/) - COST Action IC0701 meeting (11-13 June, Formal Verification of Object-Oriented Software, http://www.cost-ic0701.org/) ===================================================================== List of accepted papers of the main events: ===================================================================== o COORDINATION 09 ----------------- - Farhad Arbab, Tom Chothia, Rob van der Mei, Meng Sun, Young-JoXo Moon and Chretien Verhoef: From Coordination to Stochastic Models of QoS - Christel Baier, Tobias Blechmann, Joachim Klein and Sascha Klüppelholz: A Uniform Framework for Modeling and Verifying Components and Connectors - Marcello Bonsangue, Dave Clarke and Alexandra Silva: Automata for Context-dependent Connectors - Tayeb Bouhadiba and Florence Maraninchi: Contract-Based Coordination of Hardware Components for the Development of Embedded Software - Liliana D'Errico and Michele Loreti: Assume-Guarantee Verification of Concurrent Systems - Susan Eisenbach and Alexis Petrounias: Fairness for Chorded Languages - Bjørn Haagensen and Hans Hüttel: Parametrised Constants and Replication for Spatial Mobility - Abdessamad Imine: Coordination Model for Real-time Collaborative Editors - Chien-Liang Fok, Gruia-Catalin Roman and Chenyang Lu: Enhanced Coordination in Sensor Networks through Flexible Service Provisioning - Jens Chr. Godskesen and Sebastian Nanz: Mobility Models and Behavioural Equivalence for Wireless Networks - Armand Navabi and Suresh Jagannathan: Exceptionally Safe Futures - Carl Ritson, Adam Sampson and Frederick Barnes: Multicore Scheduling for Lightweight Communicating Processes - Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek and Antonio Cunei: High-Performance Transactional Event Processing - Mirko Viroli and Matteo Casadei: Biochemical Tuple Spaces for Self-Organising Coordination --------- o DAIS 09 --------- - Diana Comes, Steffen Bleul, Kurt Geihs and Thomas Weise: A Flexible Approach for Business Processes Monitoring - Mate J. Csorba, Hein Meling, Poul E. Heegaard and Peter Herrmann: Foraging for better deployment of replicated service components - Paulo Jesus, Carlos Baquero and Paulo Sérgio Almeida: Fault-Tolerant Aggregation by Flow Updating - Shen Lin, Francois Taiani and Gordon Blair: Exploiting Synergies Between Coexisting Overlays - Raimundo Macêdo and Allan Freitas: A Generic Group Communication Approach for Hybrid Distributed Systems - Alix Mougenot, Xavier Blanc and Marie-Pierre Gervais: D-Praxis: A peer-to-peer collaborative model edition framework - Romain Pellerin, Nicolas Bouillot, Tatiana Pietkiewicz, Mike Wozniewski, Zack Settel, Eric Gressier-Soudan and Jeremy R. Cooperstock: Toward Highly Collaborative Game Support in an Ubiquitous Computing Architecture - Vasanth Rajamani, Christine Julien and Jamie Payton: Inquiry and Introspection for Non-Deterministic Queries in Mobile Networks - Daniel Retkowitz and Sven Kulle: Dependency Management in Smart Homes - Josef Spillner, Matthias Winkler, Sandro Reichert, Jorge Cardoso and Alexander Schill: Distributed Contracting and Monitoring in the Internet of Services - Amirhosein Taherkordi, Quan Le-Trung, Romain Rouvoy and Frank Eliassen: WiSeKit: A Distributed Middleware to Support Application-level Adaptation in Sensor Network - Gareth Tyson, Paul Grace, Andreas Mauthe, Gordon Blair and Sebastian Kaune: A Reflective Middleware to Support Peer-to-Peer Overlay Adaptation ------------------ o FMOODS/FORTE 09 ------------------ - Parosh Abdulla, Giorgio Delzanno and Ahmed Rezine: Approximated Context-sensitive Analysis for Parameterized Verification - Luciano Baresi, Domenico Bianculli, Sam Guinea and Paola Spoletini: Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions - Hanifa Boucheneb and Abdessamad Imine: On Model-Checking Optimistic Replication Algorithms - Rohit Chadha, Stephanie Delaune and Steve Kremer: Epistemic Logic for the Applied Pi Calculus - Gabriel Ciobanu and Calin Juravle: Software Framework for Mobility and Timed Interaction - Naghmeh Ghafari, Arie Gurfinkel and Richard Trefler: Verification of Parameterized Systems with Combinations of Abstract Domains - Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina and Nina Yevtushenko: Distinguing non-deterministic Timed Finite State Machines - Hans Grönniger, Jan Oliver Ringert and Bernhard Rumpe: System Model-based Definition of Modeling Language Semantics - Iksoon Hwang, Mounir Lallali, Ana Cavalli and Dominique Verchere: Modeling, validation, and test generation of PCEP using formal method - Morten Kühnrich and Uwe Nestmann: On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems - Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt and Jean-Bernard Stefani: Typing Component-Based Communication - Lin Liu and Jonathan Billington: Recursive Parametric Automata and epsilon-Removal Short papers - João Abreu, Franco Mazzanti, José Luiz Fiadeiro and Stefania Gnesi: A Model-Checking Approach for Service Component Architectures - Gregor Bochmann: Using First-Order Logic to Reason about Submodule Construction - Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu and Shengqiong Wang: Conformance Testing of Network Simulators based on Metamorphic Testing Technique - Gregorio Díaz and Ismael Rodriguez: Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach - Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and Rudolf Schlatte: Dynamic Symbolic Execution of Distributed Concurrent Objects - Arend Rensink and Eduardo Zambon: A Type Graph Model for Java Programs