Program

WEDNESDAY June 6th

9:30 - 10:30 INVITED SPEAKER FMOODS
Mariangiola Dezani-Ciancaglini
Asynchronous Session Types and Progress for Object Oriented Languages
Break
11:00 - 12:30 SESSION 1: MIDDLEWARE (Chair: Farhad Arbab)
A Coordination Model for Triplespace Computing
Elena Simperl, Reto Krummenacher, Lyndon JB Nixon

Requirements for Routing in the Application Layer
Pamela Zave

Context-Aware Publish Subscribe in Mobile ad Hoc Networks
Davide Frey, Gruia-Catalin Roman
Lunch
14:30 - 15:30 SESSION 2: LOGIC PROGRAMMING (Chair: Herbert Wiklicky)
A Prolog-Based Language for Workflow Programming
Steve Gregory, Martha Paschali

Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications
John Field, Maria-Cristina Marinescu, Christian Stefansen
Break
16:00 - 17:30 SESSION 3: FORMAL APPROACHES (Chair: Carolyn Talcott)
A Theory for Strong Service Compliance
Mario Bravetti, Gianluigi Zavattaro

Towards a Theory of Refinement in Timed Coordination Languages
Jean-Marie Jacquet, Isabel le Linden

A Calculus for Mobile Ad Hoc Networks
Jens Chr. Godskesen

THURSDAY June 7th

9:30 - 10:30

INVITED SPEAKER (Chair: Jan Vitek)

Rocco De Nicola
Quantitative analysis of Mobile and Distribute Systems: The Klaim Approach

Break
11:00 - 12:30 SESSION 4: CONCURRENCY (Chair: Jean-Marie Jacquet)
A Theory of Nested Speculative Execution
Cristian Tapus, Jason Hickey

Actors that Unify Threads and Events (Best Student Paper Award)
Philipp Haller, Martin Odersky

Generalized Committed Choice
Joxan Jaffar, Roland H.C. Yap, Kenny Zhu

Lunch
14:30 - 16:00 SESSION 5: COMPONENTS AND SERVICES I
(Joint session FMOODS and Coordination)

A Representation-Independent Behavioral Semantics for Object-Oriented Components (FMOODS)
Arnd Poetzsch-Heffter and Jan Schäfer.

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants (COORD)
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel

A Formal Language for Electronic Contracts(FMOODS)
Cristian Prisacariu and Gerardo Schneider

FRIDAY June 8th

9:30 - 10:30

INVITED SPEAKER

Wolfgang Ahrendt
KeY - A Formal Method for Object-Oriented Systems

Break
11:00 - 12:30 SESSION 6: MANET (Chair: John Field)
Object-oriented Coordination in Mobile Ad hoc Networks
Tom Van Cutsem, Jessie Dedecker, Wolfgang De Meuter

Coordinating Workflow Allocation Execution in Mobile Environments
Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher Gill

Fact Spaces: Coordination in the Face of Disconnection
Stijn Mostinckx, Christophe Schol liers, Eline Philips, Charlotte Herzeel, Wolfgang De Meuter
Lunch
14:30 - 16:00 SESSION 7: COMPONENTS AND SERVICES II (Chair: Gianluigi Zavattaro)
(Joint session Coordination and FMOODS)

Component Connectors with QoS Guarantees (COORD)
Farhad Arbab, Tom Chothia, Meng Sun, Young-Joo Moon

Adaptation of Open Component-based Systems (FMOODS)
Pascal Poizat and Gwen Salaün.

Context-Based Adaptation of Component Behavioural Interfaces (COORD)
Javier Ca'mara, Carlos Canal Velasco, Javier Cubo, Ernesto Pimentel, Gwen Salaun