9:00-10:00 |
Those who are interested have a chance to attend Tony Hoare’s invited talk at the 6th International Symposium on Unifying Theories of Programming |
10:00-10:30 |
Coffee Break |
10:30-11:30 |
Keynote: Actors and Meta-Actors: Two-Level for Reasoning about Cloud Infrastructure (Gul Agha) |
11:30-12:00 |
Working session 1 |
12:00-13:30 |
Lunch |
13:30-15:00 |
Talk1: Configuring Cloud-Service Interfaces Using Flow Inheritance (Pavel Zaichenkov, Olga Tveretina and Alex Shafarenko) |
Talk2: An enhanced model for stochastic coordination (Nuno Oliveira and Luis Barbosa) |
Working session 2 |
15:00-15:30 |
Coffee Break |
15:30-16:30 |
Talk3: Static Analysis using the Cloud (Rahul Kumar, Chetan Bansal and Jakob Lichtenberg) |
Talk4: Designing Resource-Aware Applications for the Cloud with ABS (Einar Broch Johnsen) |
Workshop closing |