Week Name Description
File Πρόγραμμα Παρουσιάσεων

Πρόγραμμα Παρουσιάσεων
25 February - 2 March File Preliminaries in Logic
10 March - 16 March File Complexity Preliminaries
24 March - 30 March File First Order Reductions
31 March - 6 April File Inductive Definitions
7 April - 13 April File Ehrenfeucht Fraisse Games
14 April - 20 April File Locality and Winning Games
28 April - 4 May File Parallelism and Circuit Complexity
5 May - 11 May File Complexity of First Order Logic
12 May - 18 May File SO Logic and Lower Bounds
19 May - 25 May File Fagin's Theorem, SO Logic and Trakhtenbrot's Theorem
26 May - 1 June File Dynamic Complexity: A Brief Introduction
2 June - 8 June File Finite Variable Logics

Libkin: Chapter 11
9 June - 15 June File MSO and Automara

Libkin: Chapter 7
16 June - 22 June File Descriptive Complexity for Counting Classes