bild
School of
Computer Science
and Communication
KTH / CSC / TCS

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.

News

More News

Upcoming Seminars and Events

Seminars

  • Seminar on A formal approach to autonomic systems programming: The SCEL Language by Rocco De Nicola
    on 24 Oct 2014 at 10:30 in 4523
    more information

  • Seminar on Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management by Karl Palmskog
    on 24 Oct 2014 at 14:00 in F3, Lindstedtsvägen 26
    more information

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

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

Published by: Marc Vinyals <vinyals@csc.kth.se>
Updated 2014-09-11