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 Graphs Tuesday 2pm room 1007 Graphs and distributed computing Tuesday 2pm room 3052 or online PhD students seminar Thursday 16pm room 3052 Proofs, programs and systems Thursday 10:30am room 3052 Verification Monday 11:00am room 1007