Algorithms and complexity Tuesday 11am room 3052

Algorithms and discrete structures

Automata Friday 2:30pm 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 3052