School of
Computer Science
and Communication

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.


More News

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
    more information

  • 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)
    more information

Published by: Marc Vinyals <>
Updated 2014-09-11