Welcome to TCS — Theoretical Computer Science
This is the homepage of the Theory group at the School of
Computer Science and Communication,
KTH Royal Institute of Technology
and Nada at Stockholm University.
The mission of the Theory group is to carry the culture of theoretical
computer science, and to develop and disseminate new, interesting and
useful theory and applications of theory in computer science.
Upcoming Seminars and Events
Seminar on Easy generation and efficient validation of proofs for SAT and QBF
by Marijn Heule
on 27 Oct 2014 at 12:00 in room 1537
Seminar on Polynomial identity testing of read-once oblivious algebraic branching programs
by Michael Forbes
on 03 Nov 2014 at 12:00 in room 4523