Program

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