| GALOP 2 | Games for Logic and Programming Languages Seattle, August 10 - 11, 2006 |
Program
All sessions will take place in Suite 3102 unless otherwise indicated.
Thursday, August 10th
Thursday's program is also available side by side with other meetings.
09:30‑10:30 Session 1: Invited Talk
| 09:30 | Luke Ong
(Oxford University) A game semantic approach to infinite structures [pdf] |
10:30‑11:00 Break
11:00‑12:30 Session 2
| 11:00 | Andrezj Murawski Algorithmic game semantics and the complexity of may-equivalence |
| 11:45 | John Longley and Nicholas Wolverson Game semantics for object-oriented languages: a progress report |
12:30‑14:00 Lunch break
14:00‑15:30 Session 3
| 14:00 | Dominic Hughes Hypergame semantics: Ten years later |
| 14:45 | Joachim de Lataillade Curry-style type isomorphisms and game semantics |
15:30‑16:00 Break
16:00‑17:30 Session 4
| 16:00 | Chrysida Galanaki, Panos Rondogiannis and William Wadge Game Semantics for Infinite Propositional Logic Programs with Negation |
| 16:45 | Samson Abramsky [tentative] TBD |
Friday, August 11th
Friday's program is also available side by side with other meetings.
09:30‑10:30 Session 5: Invited Talk
| 09:30 | Madhusudan Parthasarathy
(University of Illinois at Urbana-Champaign) Automata theory for nested structures [pdf] |
10:30‑11:00 Break
11:00‑12:30 Session 6
| 11:00 | Aleksandar Dimovski and Ranko Lazic Compositional Software Model Checking using Game Semantics and Learning Assumptions |
| 11:45 | Alexander Rabinovich and Amit Shomrat Long Games and the Church Synthesis Problem |
12:30‑14:00 Lunch break
14:00‑15:30 Session 7
| 14:00 | Russ Harmer An analysis of innocent interaction |
| 14:45 | Andrea Schalk Composition via traces |
15:30‑16:00 Break
16:00‑16:45 Session 8
| 16:00 | Olivier Laurent The anatomy of innocence revisited |
