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


  • Seminar on Synthesis of concurrent programs using genetic programming by Doron Peled
    on 19 Sep 2014 at 10:30 in 4523
    more information

  • Seminar on Parallel repetition from fortification by Dana Moshkovitz
    on 29 Sep 2014 at 12:00 in 4523
    more information

  • Seminar on Information Flow Monitoring as Abstract Interpretation for Relational Logic by David Naumann
    on 02 Oct 2014 at 15:00 in 522/Fantum
    more information

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