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