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 2pm 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