Seminars Algorithms and complexity Tuesday 11am room 1007 Automata Friday 2:30pm room 3052 Complex systems Tuesday 2pm room 1007 Enumerative and analytic combinatorics Thursday 11:45am room 1007 Graphs Tuesday 2pm room 1007 IRIF seminar Friday 10:30am Amphi Turing PhD students seminar Wednesday 11am room 3052 Proofs, programs and systems Thursday 10:30am room 3052 Verification Monday 11:00am room 1007 Special talks