GALOP on Friday, August 11th

Session 5: Invited Talk (09:30‑10:30)

09:30‑10:30

Madhusudan Parthasarathy (University of Illinois at Urbana-Champaign) Automata theory for nested structures [pdf]

Break (10:30‑11:00)

Session 6 (11:00‑12:30)

11:00‑11:45	Aleksandar Dimovski and Ranko Lazic Compositional Software Model Checking using Game Semantics and Learning Assumptions
11:45‑12:30	Alexander Rabinovich and Amit Shomrat Long Games and the Church Synthesis Problem

Lunch break (12:30‑14:00)

Session 7 (14:00‑15:30)

14:00‑14:45	Russ Harmer An analysis of innocent interaction
14:45‑15:30	Andrea Schalk Composition via traces

Break (15:30‑16:00)

Session 8 (16:00‑16:45)

16:00‑16:45

Olivier Laurent The anatomy of innocence revisited