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 | FO2, C2, Bisimulation, Stable Coloring, GNNs |
| May 14 | FO2, C2, Bisimulation, Stable Coloring, GNNs |
| May 19 | Descriptive Complexity |
| May 21 | Descriptive Complexity |
| May 28 | CANCELED |
| June 2 | Descriptive Complexity |
| June 4 | Descriptive Complexity |