Automata, Games, and Verification

Discussion Slots

The discussion slots are on every Wednesday in E1.3 Room 532.

Group 01: 11:30 – 11:45
Group 02: 11:45 – 12:00
Group 03: 12:00 – 12:15
Group 04: 12:15 – 12:30
Group 06: 12:45 – 13:00
Group 07: 14:00 – 14:15
Group 08: 14:15 – 14:30
Group 09: 15:30 – 15:45
Group 10: 15:45 – 16:00
Group 11: 16:00 – 16:15
Group 12: 16:15 – 16:30
Group 13: 16:30 – 16:45
Group 14: 16:45 – 17:00
Group 15: 17:00 – 17:15