Joint courses iCE + IST Austria

Joint courses TU iCE and IST Austria

The Institute of Computer Engineering and IST Austria agreed on setting up joint PhD-level courses on topics of mutual interest. In the Summer term 2010, this will be

  • Game Theory in Formal Verification (Prof. Krishnendu Chatterjee, IST)
  • Advanced Distributed Algorithms  (Prof. Ulrich Schmid, TU)


The courses will take place back-to-back at IST Austria on Thursday, separated by a lunch break. A free shuttle service to/from IST will be offered [see further details].