T-79 Course Schedule (Spring 2008)

T-79.3001 Logic in computer science: foundations	T-79.5301 Reactive Systems
T-79.4001 Seminar on theoretical computer science	T-79.5303 Safety Critical systems
T-79.4301 Parallel and distributed systems	T-79.5501 Cryptology
T-79.5101 Advanced course in computational logic	T-79.7001 Postgraduate course in theoretical computer science²
T-79.5202 Combinatorial algorithms	ICSF Information and Computer Science Forum
T-79.5203 Graph theory¹

¹ only in period IV
² seminars on either Mondays or Thursdays, see course home page for more information