A | B | C | D | E | F | G | H | I | J | K | L | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | DAILY SCHEDULE | |||||||||||
2 | Week of: | May 21 | Set the starting date in cell C2. Rows 3 and 4 will automatically update with the correct dates and days of the week. | |||||||||
3 | 5/19 | 5/20 | 5/21 | 5/22 | 5/23 | 5/24 | 5/25 | 5/26 | 5/27 | |||
4 | SATURDAY | SUNDAY | MONDAY | TUESDAY | WEDNESDAY | THURSDAY | FRIDAY | SATURDAY | SUNDAY | |||
5 | 8:00 AM | |||||||||||
6 | 8:00 AM | Emina Torlak | Andreas Abel | Dirk Beyer | Nina Narodytska | Lab: Beyer/Abel | ||||||
7 | 8:30 AM | |||||||||||
8 | 9:00 AM | Introductions | Higher-order Logic | |||||||||
9 | 9:30 AM | Proofs and Things | Break | Break | Break | Break | Break | |||||
10 | 10:00 AM | Nikhil Swami/Protzenko | Emina Torlak | Andreas Abel | Dirk Beyer | Lab: Abel/Beyer | ||||||
11 | 10:30 AM | |||||||||||
12 | 11:00 AM | |||||||||||
13 | 11:30 PM | Lunch | Lunch | Lunch | Lunch | Lunch | Lunch | Lunch | ||||
14 | 12:30 PM | Propositional Logic | Basic Type Theory | |||||||||
15 | 1:00 PM | Mooly Sagiv | Nikhil Swami/Protzenko | Mooly Sagiv | Gordon Plotkin | Edward Lee | ||||||
16 | 1:30 PM | |||||||||||
17 | 2:00 PM | |||||||||||
18 | 2:30 PM | Break | Break | Break | Break | Break | Break | |||||
19 | 3:00 PM | First-Order Logic | Advanced Type Theory | Lab: Torlak/Swami | Lab: Torlak/Abel | Lab: Abel/Beyer | Lab: Sagiv/Swami | |||||
20 | 3:30 PM | |||||||||||
21 | 4:00 PM | |||||||||||
22 | 4:15 PM | Lab: Sagiv/Torlak | Lab: Swami/Torlak | Lab: Beyer/Sagiv | Lab: Swami/Sagiv | |||||||
23 | 5:00 PM | |||||||||||
24 | 5:30 PM | Dinner | Dinner | Dinner | Dinner | Dinner | Banquet | |||||
25 | 6:00 PM | |||||||||||
26 | 6:30 PM | |||||||||||
27 | ||||||||||||
28 | NOTES | TO DO | ||||||||||
29 | ||||||||||||
30 | ||||||||||||
31 | ||||||||||||
32 | ||||||||||||
33 | ||||||||||||
34 | ||||||||||||
35 |