Subscribe to this calendar (Google, iCal, etc.)
| Date | Description |
|---|---|
| March 31 | Lecture 1 Introduction, Classical Model Theory |
| April 2 | Lecture 2 Classical Model Theory |
| April 7 | Lecture 3 Proof of the 0/1; Static Analysis |
| April 9 | Lecture 4 Model Checking, Conjunctive Queries |
| April 14 | Lecture 5 Query Containment |
| April 16 | Lecture 6 Acyclic Queries, HyperTree Decomposition |
| April 21 | Lecture 7 EF Games, FO Types |
| April 23 | Lecture 8 EF Games, FO Types |
| April 28 | Lecture 9 Second Order Logic |
| April 30 | Lecture 10 Second Order Logic |
| May 5 | Lecture 11 Fixpoint Logic |
| May 7 | Lecture 12 Recursion, Infinitary Logics, Pebble Games |
| May 12 | Lecture 13 Stable Coloring, k-Weisfeiler-Leman |
| May 14 | Lecture 14 FO2, C2, Bisimulation, Stable Coloring, GNNs |
| May 19 | Lecture 15 Logic and Turing Machines |
| May 21 | Lecture 16 Descriptive Complexity |
| May 28 | CANCELED |
| June 2 | Review |
| June 4 | CANCELED |