CSE 599d Spring 2025
Course Calendar

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

Show color key Show color key
March
MondayTuesdayWednesdayThursdayFriday
31
10:00-11:20 Lecture
* *
Lecture 1 Introduction, Classical Model Theory
01 02
10:00-11:20 Lecture
* *
Lecture 2 Classical Model Theory
03 04
April
MondayTuesdayWednesdayThursdayFriday
07
10:00-11:20 Lecture
* *
Lecture 3 Proof of the 0/1; Static Analysis
23:59 HW1 due
08 09
10:00-11:20 Lecture
* *
Lecture 4 Model Checking, Conjunctive Queries
10 11
14
10:00-11:20 Lecture
* *
Lecture 5 Query Containment
15 16
10:00-11:20 Lecture
* *
Lecture 6 Acyclic Queries, HyperTree Decomposition
17 18
21
10:00-11:20 Lecture
* *
Lecture 7 EF Games, FO Types
22 23
10:00-11:20 Lecture
* *
Lecture 8 EF Games, FO Types
24 25
23:59 HW2 due
28
10:00-11:20 Lecture
* *
Lecture 9 Second Order Logic
29 30
10:00-11:20 Lecture
* *
Lecture 10 Second Order Logic
01 02
May
MondayTuesdayWednesdayThursdayFriday
05
10:00-11:20 Lecture
* *
Lecture 11 Fixpoint Logic
06 07
10:00-11:20 Lecture
* *
Lecture 12 Recursion, Infinitary Logics, Pebble Games
08 09
23:59 HW3 due
12
10:00-11:20 Lecture
* *
Lecture 13 Stable Coloring, k-Weisfeiler-Leman
13 14
10:00-11:20 Lecture
* *
Lecture 14 FO2, C2, Bisimulation, Stable Coloring, GNNs
15 16
19
10:00-11:20 Lecture
* *
Lecture 15 Logic and Turing Machines
20 21
10:00-11:20 Lecture
* *
Lecture 16 Descriptive Complexity
22 23
26
Memorial Day
27 28
10:00-11:20 Lecture
* *
CANCELED
29 30
23:59 HW4 due
June
MondayTuesdayWednesdayThursdayFriday
02
10:00-11:20 Lecture
* *
Review
03 04
10:00-11:20 Lecture
* *
CANCELED
05 06