ABCDEFGHIJKL
1

DAILY SCHEDULE
2
Week of:
May 21Set the starting date in cell C2. Rows 3 and 4 will automatically update with the correct dates and days of the week.
3
5/195/205/215/225/235/245/255/265/27
4
SATURDAYSUNDAYMONDAYTUESDAYWEDNESDAYTHURSDAYFRIDAYSATURDAYSUNDAY
5
8:00 AM
6
8:00 AM Emina TorlakAndreas AbelDirk BeyerNina NarodytskaLab: Beyer/Abel
7
8:30 AM
8
9:00 AM IntroductionsHigher-order Logic
9
9:30 AM Proofs and ThingsBreakBreakBreakBreakBreak
10
10:00 AM Nikhil Swami/ProtzenkoEmina TorlakAndreas AbelDirk BeyerLab: Abel/Beyer
11
10:30 AM
12
11:00 AM
13
11:30 PM LunchLunchLunchLunchLunchLunchLunch
14
12:30 PM Propositional LogicBasic Type Theory
15
1:00 PM Mooly SagivNikhil Swami/ProtzenkoMooly SagivGordon PlotkinEdward Lee
16
1:30 PM
17
2:00 PM
18
2:30 PM BreakBreakBreakBreakBreakBreak
19
3:00 PM First-Order LogicAdvanced Type TheoryLab: Torlak/SwamiLab: Torlak/AbelLab: Abel/BeyerLab: Sagiv/Swami
20
3:30 PM
21
4:00 PM
22
4:15 PM Lab: Sagiv/TorlakLab: Swami/TorlakLab: Beyer/SagivLab: Swami/Sagiv
23
5:00 PM
24
5:30 PM DinnerDinnerDinnerDinnerDinnerBanquet
25
6:00 PM
26
6:30 PM
27
28
NOTESTO DO
29
30
31
32
33
34
35