[TYPES/announce] 1st. Call for Participation: DisCoTec'08 (Coordination + Dais + Fmoods). Oslo, Norway, 4.-6. June 2008

Martin Steffen msteffen at ifi.uio.no
Mon Mar 17 03:14:07 EDT 2008




                  CALL FOR PARTICIPATION 

******************************************************************************
                      DisCoTec 08                                      
                                                                       
  The federated conferences on                                         
                                                                       
           Distributed Computing Techniques                            
                                                                       
      - Fmoods'08                                                      
      - COORDINATION'08                                                
      - DAIS'08                                                        
                                                                       
           http://discotec08.ifi.uio.no/                               
                                                                       
  Oslo, Norway, 4.-6. June  2008                                       
       (plus 1 day pre-conference and 1 day post-conference workshops) 
******************************************************************************

DisCoTec 2008 (Distributed Computing Techniques) has opened its gate for
registration.  Early registration lasts until 1. May, 2008. The theme of
DisCoTec is technologies supporting modeling, development and maintenance
of distributed network-based systems and applications.


    o Accepted papers: see below or consult the web-site.

    o important dates:

        - early registration deadline: 1. May

        Registration fees: 
                                  early      late
 
           regular participant:   3200 NOK      3800 NOK
           student registration:  2200 NOK      2800 NOK

        (NOK = Norwegian crowns. 3200NOK corresponds approximately
                  to 400 Euro or 625US$)

    o for


        - further registration details

        - travel information and information about Oslo,
    
        - hotel recommendations

       see the webpage

            http://discotec08.ifi.uio.no/                              

   ==============================================================


   o Conferences:

    -  Coordination'08: 10th International Conference on Coordination
          Models and Languages

    -  DAIS'08: Eighth  IFIP International Conference on Distributed
          Applications and Interoperable Systems

    - FMOODS'08: 10th IFIP International Conference on Formal Methods for
         Open Object-based Distributed Systems


   o  Workshops: 4 satellite workshops  are scheduled

         - CAMPUS'08:   Workshop on Context-aware Adaptation Mechanisms for
                        Pervasive and Ubiquitous Services 

                          organizers: Mauro Caporuscio, Romain Rouvoy, and 
                                      Michael Wagner
                          date:       3.June 2008

         - MAI'08:      Workshop on Middleware-Application Interaction
                          organizers: Hans P. Reiser, Rudiger Kapitza
                          date:       3.June 2008

         - MTCoord'08:  Workshop on Methods and Tools for Coordinating
                        Concurrent Distributed and Mobile Systems  

                          organizers: Carolyn Talcott, Isabelle Linden
                          date:       7.June 2008


         - PLACES'08    Workshop on Programming Language Approaches to 
                        Concurrency and Communication-cEntric Software

                          organizers:  Alistair Beresford, Simon Gay,
                                       Kohei Honda, Alan Mycroft, 
                                       Vasco T. Vasconcelos, Nobuko Yoshida
                          date:       7.June 2008




 ****************************************************************
  o Invited speakers for the joint event:

        - Matt Welch, Matt Welsh, Harvard University, USA 
             Fiji: A Platform for Data-Intensive Sensor Network
             Applications

         - Alexander L. Wolf, Imperial College London, UK 
             New Uses of Simulation in Distributed System Engineering

         - Andrew Myers, Cornell University 
              Guiding distributed systems synthesis with language-based 
              security policies

 ****************************************************************



Accepted papers:


o Coordination (http://discotec08.ifi.uio.no/Coordination08/Program)
====================================================================

- Timed Soft Concurrent Constraint Programs
   Francesco Santini, Stefano Bistarelli, Maurizio Gabbrielli and Maria Chiara Meo
 
- How to infer finite session types in a calculus of services and sessions
    Leonardo Gaetano Mezzina
 
- Advice for Coordination
    Chris Hankin, Fleming Nielson, Hanne Riis Nielson and Fan Yang
 
-  A formal account of WS-BPEL
     Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi
 
- Implementing Session Centered Calculi with IMC
    Lorenzo Bettini, Rocco De Nicola and Michele Loreti
 
- Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs
    Mikkel Bundgaard, Arne Glenstrup, Thomas Hildebrandt, Espen Højsgaard and Henning Niss
 
- Actors with Multi-Headed Message Receive Patterns
    Martin Sulzmann, Edmund Lam and Peter Van Weert
 
- A compositional trace semantics for Orc
     Dimitrios Vardoulakis and Mitchell Wand
 
- Service Combinators for Farming Virtual Machines
     Karthikeyan Bhargavan, Andy Gordon and Iman Narasamdya
 
- A coordination model for service-oriented interactions
    João Abreu and José Luiz Fiadeiro
 
- Encrypted Shared Data Spaces
    Giovanni Russello, Changyu Dong, Naranker Dulay, Michel Chaudron and Maarten Van Steen
 
- An event-based coordination model for context-aware applications
    Angel Nuñez and Jacques Noyé
 
- Session Behaviour Types for Orchestration Charts
     Alessandro Fantechi and Elie Najm
 
- CiAN: A Workflow Engine for MANETs
    Rohan Sen, Catalin Roman and Christopher Gill
 
- A Process Calculus for Mobile Ad Hoc Networks
    Anu Singh, C. R. Ramakrishnan and Scott A. Smolka
 
- Multiparty sessions in SOC
    Roberto Bruni, Ivan Lanese, Hernan Melgratti and Emilio Tuosto
 
- Implementing Joins using Extensible Pattern Matching
    Philipp Haller and Tom Van Cutsem
 
- Modeling and Analysis of Reo Connectors Using Alloy
    Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi and Hamed Iravanchi Zadeh
 
- Alternating-Time Model Checking for Exogenous Coordination
    Sascha Klueppelholz and Christel Baier
 
- From Flow Logic to Static Type Systems for Coordination Languages
    Rocco De Nicola, Daniele Gorla, Rene Rydhof Hansen, Fleming Nielson,
    Hanne Riis Nielson,  Christian W. Probst and Rosario Pugliese
 
-  Formal analysis of BPMN via a translation into COWS
    Davide Prandi, Paola Quaglia and Nicola Zannone


o DAIS: (http://discotec08.ifi.uio.no/DAIS08/Program)
===================================================

- Virtual Overlays: An Approach to the Management of Competing or Collaborating Overlay Structures
    Paul Okanda, Sebastian Steinhauer and Gordon Blair
 
- Adaptive and Fault-tolerant Service Composition in Peer-to-Peer Systems
    Vivian Prinz, Florian Fuchs, Peter Ruppel, Christoph Gerdes and Alan Southall
 
- Implementing data distribution variant with a metamodel, some models and a transformation
    Eveline Kaboré and Antoine Beugnard
 
- Tree-based Analysis of Mesh Overlays for Peer-to-Peer Streaming
    Bartosz Biskupski, Marc Schiely, Pascal Felber and René Meier
 
- Towards Middleware for Fault-tolerance in Distributed Real-time and Embedded Systems
    Jaiganesh Balasubramanian, Aniruddha Gokhale, Douglas Schmidt and Nanbor Wang
 
- Decentralised QoS-Management in Service-oriented Architectures
    Markus Schmid and Reinhold Kröger
 
- An Model Driven Approach for Developing Adaptive Software Systems
    Thomas Hamann, Gerald Hübsch and Thomas Springer
 
- Describing component collaboration using goal sequences
    Cyril Carrez, Jacqueline Floch and Richard Sanders
 
- Cost Efficient Deployment of Collaborating Components
    Mate J. Csorba, Poul E. Heegard and Peter Herrmann
 
- iSOAMM: An independent SOA Maturity Model
    Christoph Rathfelder and Henning Groenda
 
- Model-based Performance Instrumentation of Distributed Applications
    Jan Schaefer, Jeanne Stynes and Reinhold Kröger
 
- AWSM: Adaptive Web Service Migration
    Holger Schmidt, Rüdiger Kapitza, Hans P. Reiser and Franz J. Hauck
 
- Using Object Replication for Building a Dependable Version Control System
    Rüdiger Kapitza, Peter Baumann and Hans P. Reiser
 
- STUNT enhanced Java RMI
    Oliver Haase, Wolfgang Reiser and Jürgen Wäsch
 
- Recovery Mechanisms for Semantic Web Services
    Kevin Wiesner, Roman Vaculín, Martin Kollingbaum and Katia Sycara
 
- Dynamic Adaptability for Smart Environments
    Daniel Retkowitz and Mark Stegelmann
 
- Facilitating Gossip Programming with the GossipKit Framework
    Shen Lin, Francois Taiani and Gordon Blair
 
- Brokering planning metadata in a P2P environment
    Johannes Oudenstad, Romain Rouvoy, Frank Eliassen and Eli Gjørven
 
- A Comprehensive Context Modeling Framework for Pervasive Computing Systems
    Michael Wagner, Roland Reichle, Mohammad Ullah Khan, Kurt Geihs, 
    Jorge Lorenzo, Massimo Valla, Cristina Fra, Nearchos Paspallis and George Papadopoulos
 
- Managing Peer-to-Peer Live Streaming Applications
    Raymond Cunningham, Bartosz Biskupski and René Meier
 
- Towards More Business-Oriented and Durable Planning of Composite Services Based on Quality of Services
    Koramit Pichanaharee and Twittie Senivongse
 
- A Multi-Stage Approach For Reliable Dynamic Reconfigurations of Component-Based Systems
    Pierre-Charles David, Marc Léger, Hervé Grall, Thomas Ledoux and Thierry Coupaye
 
- Facilitating Complex Web Service Interactions Through a Tuplespace Binding
    Daniel Wutke and Daniel Martin
 
- Rapid Prototyping of Routing Protocols with Evolving Tuples
    Drew Stovall and Christine Julien
 
- MobiSoft: Networked Personal Assistants for Mobile Users in Everyday Life
    Christian Erfurth, Steffen Kern, Wilhelm Rossak, Peter Braun and Antje
    Leßmann



o Fmoods (http://discotec08.ifi.uio.no/FMOODS08/Program)
=========================================================

- A Minimal Set of Refactoring Rules for Object-Z
    Tim McComb and Graeme Smith
 
- Termination Analysis of Java Bytecode
    Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, German Puebla and Damiano Zanardini
 
- Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking
    Michael Katelman, Jose Meseguer and Jennifer Hou
 
- Sessions and Pipelines for Structured Service Programming
    Michele Boreale, Roberto Bruni, Rocco De Nicola and Michele Loreti
 
- Mechanising a correctness proof for a lock-free concurrent stack
    John Derrick, Gerhard Schellhorn and Heike Wehrheim
 
- Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
    Rohit Chadha, Carl Gunter, Jose Meseguer, Ravinder Shankesi and Mahesh Viswanathan
 
- Behavioural theory at work: program transformations in a service-centred calculus
    Luís Cruz Filipe, Ivan Lanese, Francisco Martins, Antonio Ravara and Vasco T. Vasconcelos
 
- Semantic foundations and inference of non-null annotations
    Laurent Hubert, Thomas Jensen and David Pichardie
 
- Symbolic Step Encodings for Object Based Communicating State Machines
    Jori Dubrovin, Tommi Junttila and Keijo Heljanko
 
- CoBoxes: Unifying Active Objects and Structured Heaps
    Jan Schäfer and Arnd Poetzsch-Heffter
 
- A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language
    Dries Vanoverberghe and Frank Piessens
 
- Formal Modeling of a Generic Middleware to Ensure Invariant Properties
    Xavier Renault, Jérôme Hugues and Fabrice Kordon
 
- VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
    Jan Smans, Bart Jacobs and Frank Piessens
 
- Modelling and Model Checking Software Product Lines
    Alexander Gruler, Martin Leucker and Kathrin Scheidemann



More information about the Types-announce mailing list