Εβδομάδα Όνομα Περιγραφή
Αρχείο Πρόγραμμα Παρουσιάσεων

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

Libkin: Chapter 11
9 June - 15 June Αρχείο MSO and Automara

Libkin: Chapter 7
16 June - 22 June Αρχείο Descriptive Complexity for Counting Classes