Research seminars Algorithms and complexity Tuesday / Wednesday 11am room 3052 Algorithms and discrete structures Automata Friday 2:00pm room 3052 Enumerative and analytic combinatorics Thursday 2pm room 1007 Formath Monday 2:00pm room 1007 or 3052 Graphs Tuesday 2pm room 1007 Graphs and distributed computing Tuesday 3pm room 3052 or online Non-permanent members’ seminar Thursday 4pm room 3052 Proofs, programs and systems Thursday 10:30am room 3052 Verification Monday 11:00am room 1007