You are here: Home

Theoretical Computer Science

News and Events

Fundamentals of Theoretical Computer Science (Exam) Feb 27, 2013 from 08:00 AM to 11:00 AM — RW1,
Best Paper Award at World Congress of Engineering and Computer Science WCECS 2012
A Column Generation Approach to Scheduling of Real-Time Networks
TGI Exam Inspection Apr 25, 2013 from 09:00 AM to 10:30 AM — 03-331,

Summer Term 2013

Fundamentals of Theoretical Computer Science I (Lecture)
Jogustine: 08.079.050
Model Checking (Lecture)
Jogustine: 08.079.314
Advanced Algorithms (Lecture)
Jogustine: 08.079.450
Advanced Algorithms (Seminar)
Jogustine: 08.079.615
Approaching Programming Contests (Seminar)
Jogustine: 08.079.630
Programming (Practical course)

Winter Term 2012/2013

Fundamentals of Theoretical Computer Science II (Lecture)
Jogustine: 08.079.055
Modelling discrete Systems (Lecture)
Jogustine: 08.079.318
Pearls of Theoretical Computer Science (Lecture)
Jogustine: 08.079.544
Advanced Algorithms (Seminar)
Jogustine: 08.079.615