CSE 599c Spring 2018
Course Calendar

Subscribe to this calendar (google, iCal, etc.)

 Show color key

March
SundayMondayTuesdayWednesdayThursdayFridaySaturday
25 26
10:00-11:20 Lecture
CSE 303
Unit 1: Classical Model Theory Handout slides Beamer slides
27 28
10:00-11:20 Lecture
CSE 303
Unit 1 (continued)
29 30 31

April
SundayMondayTuesdayWednesdayThursdayFridaySaturday
01 02
10:00-11:20 Lecture
CSE 303
Unit 1 (continued)
03 04
10:00-11:20 Lecture
CSE 303
Unit 1 (continued)
05 06
10:00-11:20 Makeup Lecture: Unit 2: Games and Expressibility Handout slides Beamer slides
CSE 303
07
08
23:59 HW1 Due Classical Model Theory and Zero-One Law
09
10:00-11:20 Lecture
CSE 303
CANCELED
10 11
10:00-11:20 Lecture
CSE 303
CANCELED
12 13 14
15 16
10:00-11:20 Lecture
CSE 303
Unit 2: Expressibility and Games Handout slides Beamer slides(coninued)
17 18
10:00-11:20 Lecture
CSE 303
Unit 2 (continued)
19 20
10:00-11:20 Makeup Lecture Unit 3 Logic and Complexity Handout slides Beamer slides(coninued)
CSE 303
21
22
23:59 HW2 Due Games and Expressibility
23
10:00-11:20 Lecture
CSE 303
Unit 3 Logic and Complexity Handout slides Beamer slides(coninued)
24 25
10:00-11:20 Lecture
CSE 303
Unit 3 (continued)
26 27 28
29 30
10:00-11:20 Lecture
CSE 303
Unit 3 (continued)
01 02
10:00-11:20 Lecture
CSE 303
Unit 4: Query Containment Handout slides Beamer slides(coninued)
03 04 05

May
SundayMondayTuesdayWednesdayThursdayFridaySaturday
06
23:59 HW3 Due Logic and Complexity
07
10:00-11:20 Lecture
CSE 303
Unit 5 Algorithmic FMT Handout slides Beamer slides
08 09
10:00-11:20 Lecture
CSE 303
Unit 5 (continued)
10 11 12
13
23:59 HW4 Due Query Containment
14
10:00-11:20 Lecture
CSE 303
CANCELED Makeup on Thu/Fri: Functional Aggregate Queries are FAQs Guest Lecturer Hung Ngo
15 16
10:00-11:20 Lecture
CSE 303
CANCELED
17
09:30-10:50 Makeup Lecture Unit 6: Functional Aggregate Queries are FAQs Guest Lecturer Hung Ngo
CSE 303
18
10:00-11:20 Makeup Lecture Unit 6 (continued) Guest Lecturer Hung Ngo
CSE 303
19
20
23:59 HW5 Due Algorithmic FMT
21
10:00-11:20 Lecture
CSE 303
Unit 7: The Semiring Framework for Database Provenance Guest lecturer Val Tannen Room: Gates Commons
22 23
10:00-11:20 Lecture
CSE 303
Unit 7 Provenance Analysis for First-Order Model Checking Guest lecturer Val Tannen Room: Gates Commons
24 25 26
27 28
Memorial Day
29 30
10:00-11:20 Lecture
CSE 303
Unit 8: Discussion
31 01 02