19.06.2013
We start next week on Monday at
12:00 (sharp! Please be on time!). See also the schedule page.
22.06.2013
Dates and room (01.09.014) posted (see time schedule).
06.05.2013
Jan's slides are available here:
[PDF].
08.04.2013
Application closed.
13.03.2013
Three topics still available!
31.01.2013
-
Michael's beautiful slides of the first meeting: [PDF]
-
Added two additional topics:
- Parity games on graphs induced by recursive programs
- Parity games and linear programming
17.01.2013
First meeting on Thursday, 31.01.2013, at 11:00 in 03.09.014.
Contact
Teaching
