diff --git a/schedule.html b/schedule.html index 3e07c8d..409a93b 100644 --- a/schedule.html +++ b/schedule.html @@ -223,21 +223,21 @@

Schedule


Thursday 11/7 09:00 Accelerate (Ivo) - BBG 169 + BBG 165 11:00 Coffee - BBG 169 + BBG 165 11:30 (Jacco & Niek) Labs - BBG 169 + BBG 165 @@ -251,7 +251,7 @@

Schedule


14:00 Type families (Gabriele) - BBG 169 + BBG 165 @@ -265,7 +265,7 @@

Schedule


16:30 Labs - BBG 169 + BBG 165