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 |
9:30 - 10:30 | INVITED SPEAKER (Chair: Jan Vitek) Rocco De Nicola |
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 |
9:30 - 10:30 | INVITED SPEAKER Wolfgang Ahrendt |
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 |