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
TCS Seminar on Conflict-driven clause learning and pseudo-Boolean SAT solving
by Jan Elffers
on 14 Sep 2015 at 12:00 in room 4523
TCS Seminar on Evolving System Variants into Software Product Lines: An Overview and the Road Ahead
by Roberto Lopez Herrejon
on 29 Sep 2015 at 13:15 in room 1440(biblioteket)