[TYPES/announce] Call for Participation: Distributed Computing Techniques: DisCoTec 2009 (DAIS + FMOODS/FORTE + COORDINATION), Lisbon, 9-12 June 2009, student grants available

Martin Steffen msteffen at ifi.uio.no
Thu Apr 30 18:07:24 EDT 2009


                      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 


More information about the Types-announce mailing list