VODCA 2008 call for participation

[Alessandro Aldini]

    [ We apologise for multiple copies of this message! ]

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

           C A L L   F O R   P A R T I C I P A T I O N

                 3rd International Workshop on
       Views On Designing Complex Architectures (VODCA'08)

                       Bertinoro, Italy
                      30-31 August, 2008

                 http://coba.dc.fi.udc.es/vodca


GENERAL INFORMATION AND REGISTRATION

VODCA will take place at the University Residential Centre of
Bertinoro (Italy) immediately after the 8th International School
on Foundations of Security Analysis and Design (FOSAD 2008,
http://www.sti.uniurb.it/events/fosad08/).

VODCA Registration is now open.
The fee is 150 euros and covers both registration and accommodation
for the two days of the workshop. Please follow the instructions
available at the web page and register by:
                       22 August, 2008.

Participants of FOSAD will receive a 50% discount on VODCA's
registration fee.

INVITED SPEAKERS

Rogerio De Lemos (University of Kent, UK)
   Architecting Fault Tolerance using Abstractions

Reiko Heckel (University of Leicester, UK)
   The Hammer in the Making:
   Graph Transformation on Networks, Molecules, and Diagrams

WORKSHOP PROGRAM

* Saturday 30 August 2008

- 14:25 Welcome

- 14:30 Invited talk

  Reiko Heckel

- 15:30 Information Security

  Secure Web Service Workflow Execution
  Carsten Rudolph, Nicolai Kuntze, and Zaharina Velikova

- 16:00-16:30 Break

- 16:30 Information Security

  Design of architectures for proximity-aware services:
  Experiments in context-based authentication with Subjective Logic
  Gabriele Lenzini

  Towards information flow properties for distributed systems
  Fabio Martinelli, Ilaria Matteucci, and Roberto Gorrieri

  Transparent Process Monitoring in a Virtual Environment
  Daniele Sgandurra, Fabrizio Baiardi, Dario Maggiari,
  and Francesco Tamberi

* Sunday 31 August 2008

- 09:30 Information Management

  Testing-based Process for Evaluating Components Replaceability
  Andres Flores and Macario Polo

  A Graph-based Design Framework for Global Computing Systems
  Antonio Bucchiarone, Gregory Dennis, and Stefania Gnesi

  Rank and select for succinct data structures
  Antonio Farina, Susana Ladra, Oscar Pedreira, and Angeles Places

- 11:00-11:30 Break

- 11:30 Invited talk

  Rogerio de Lemos

- 12:30-14:30 Lunch

- 14:30 Information Management

  A Nonmonotonic Soft Concurrent Constraint Language for SLA
  Negotiation
  Stefano Bistarelli and Francesco Santini

  Strategies for solving constraints in type and effect systems
  Jurriaan Hage and Bastiaan Heeren

SPONSORSHIP

- Formal Methods Europe (FME)

- U.S. Army International Technology Center-Atlantic
  Research Division (USAITC-A)