Algorithms and complexity Tuesday 11am room 1007

Algorithms and discrete structures

Automata Friday 2:30pm online at https://bbb-front.math.univ-paris-diderot.fr/recherche/ama-bgy-hx5-3rl

Distributed algorithms and graphs Tuesday 2pm room 3052 or online

Enumerative and analytic combinatorics Thursday 2pm room 1007

Graphs Tuesday 2pm room 1007

Proofs, programs and systems Thursday 10:30am room 3052

Verification Monday 11:00am online