[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