Date |
|
What |
Jan 27 |
|
Intro meeeting (13.15-14.00) |
Feb 3 |
|
No meeting! |
Feb 10 |
|
Treewidth and Courcelle's Theorem |
Feb 17 |
|
Treewidth and Courcelle's Theorem |
Feb 24 |
|
Color Coding |
Mar 3 |
|
Color Coding |
Mar 10 |
|
Lambda Calculus (presented by Dilian Gurov) |
Mar 17 |
|
Lambda Calculus |
Mar 24 |
|
Hilbert's 10th Problem |
Mar 31 |
(in room 4423!) |
Hilbert's 10th Problem |
Apr 7 |
|
No meeting |
Apr 14 |
|
No meeting |
Apr 21 |
(in room 4423!) |
Types, Data Abstraction, and Polymorphism (presented by Philipp Haller, slides 1, slides 2) |
Apr 28 |
|
Types, Data Abstraction, and Polymorphism |
May 5 |
|
Distributed Graph Coloring (presented by Danupon Nanongkai) |
May 12 |
(in room 4423!) |
Distributed Graph Coloring |
May 19 |
|
Temporal logic and automata on infinite objects (presented by Mads Dam, slides 1, slides 2) |
May 26 |
|
Temporal logic and automata on infinite objects |