TimeLanguage & ComputationLanguage & LogicLogic & Computation
9.00 - 10.30
11.00 - 12.30
14.00 - 15.30
17.00 - 18.30

Keys: (I) introductory; (A) advanced; (F) foundational; (W) workshop