Amphi G

Session 3B (Aug 28 10:30-12:10) Graphs 1
Session 4B (Aug 28 14:00-15:15) Graphs, complexity and logic
Session 5B (Aug 28 15:45-17:00) Logic in Computer Science 1
Session 8B (Aug 29 10:30-12:10) Parametrized Complexity
Session 9B (Aug 29 14:00-15:15) Distributed and Parallel Algorithms
Session 10B (Aug 29 15:45-17:00) Verification 1
Session 12B (Aug 30 10:30-12:10) Games 1
Session 14B (Aug 31 10:30-12:10) Cuts and Graphs
Session 15B (Aug 31 14:00-15:15) Verification 2 and Computational Complexity
Session 16B (Aug 31 15:45-17:00) Games 2
Session 18B (Sep 01 10:30-12:10) Graphs 2
Session 19B (Sep 01 14:00-15:40) Logic in Computer Science 2