Monday
13.oo - 13.15: welcome/organizational info (room K1)
13.15 - 13.45: coffee (room K2)
13.45 - 16.oo (+/-): talks (room K1
Tuesday, Wednesday, Thursday
9.45 - 10.15: coffee
10.15 - 12.15: talks
12.15 - 13.3o: lunch
13.3o - 14.oo: coffee
14.oo - 16.oo (+/-): talks
Friday
9.45 - 10.15: coffee
10.15 - lunch: talks
Guest speakers schedule
Preliminary (!):
S.Buss: Wednesday morning (topic: PV, S^1_2, and EF)
P.Nguyen: Wednesday afternoon
(topic)