Seminars Algorithms and complexity Tuesday 11am room 1007 Algorithms and discrete structures Automata Friday 2:30pm room 3052 Enumerative and analytic combinatorics Thursday 2pm room 1007 Graphs Tuesday 2pm room 1007 Proofs, programs and systems Thursday 10:30am room 3052 Verification Monday 11:00am online