bild
Skolan för
elektroteknik
och datavetenskap

Schedule and Topics

Schedule

We meet on Tuesdays 13.15-15.00. In almost all cases the meetings are in room 4523 (floor 5 of D building), except in a few cases noted below when we are instead one floor down.

See format of the course for a description of what is expected of the students during the course.

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

Topics

  1. Treewidth and Courcelle's Theorem
  2. Color Coding
  3. Lambda Calculus
  4. Hilbert's 10th Problem
  5. Types, Data Abstraction, and Polymorphism
  6. Distributed Graph Coloring
  7. Temporal logic and automata on infinite objects
Copyright © Sidansvarig: Per Austrin <austrin@csc.kth.se>
Uppdaterad 2015-05-22