Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Algorithmic Game Solving

  News | Dates | Content | Material
  • October 26
    Time changed to 16:00 (from 14:00).
  • October 4
    We are going to meet on Tuesday, 19.10, in 03.09.014 at 14:00 for the final assignment of the papers. Lectures will take place at the same time and place on subsequent Tuesdays.
    We have also added two additional papers to choose from. Please have a look here.
  • July 5
    Creation of this site.