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 Scalable Software Testing and Verification Through Heuristic Search and Optimization: Experiences and Lessons Learned
by Professor Lionel C. Briand
on 02 Feb 2016 at 13:30 in D2, Lindstedtsvägen 5, KTH