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
Never-ending Games

  News | Motivation | Topics | Time Schedule

  • First meeting: Mon, 27 Jun 2016 in 03.09.014 at 14:30
  • Final assignment of papers: Wed, 27 Jul 2016.
  • Time schedule for the presentations: Fri, 27 Jan 2017 in 03.11.051 from 10:00 to 13:00.

Schedule

  • 4 weeks before the talk
    • meeting with advisor
    • must have read the paper
    • fix structure
  • 2 weeks before the talk
    • preliminary version of the slides
  • 1 week before the talk
    • final version of the slides
    • preliminary version of written summary (4-6 pages)
  • On the day of the talk
    • final version of the summary, to be distributed to the audience
Date Room Topic Speaker Advisor
27.1.2017 03.11.051 Energy games: Faster Algorithms for Mean-Payoff Games Gregor Matl Philipp
27.1.2017 03.11.051 Energy games: Using Strategy Improvement to Stay Alive Pia Liebl Philipp
27.1.2017 03.11.051 Reducing parity games to linear programming Julian Biendarra Salomon