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

Pillar

Upcoming Seminars and Events

Events

  • Licentiate Defense of Siavash Soleimanifard
    Title: Procedure-Modular Verification of Temporal Safety Properties
    Date: 23 May at 13:00
    Location: Sal D3, Lindstedtsvägen 5 KTH, Stockholm
    more information

Seminars

  • Seminar on A Dichotomy for Real Weighted Holant Problems by Sangxia Huang
    on 22 May 2012 at 12:15 in room 1537
    more information

  • Seminar on Towards a Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language by Gerardo Schneider
    on 24 May 2012 at 10:15 in room 1537
    more information

  • Seminar on On the Combinatorics of Minimally Unsatisfiable Formulas by Jakob Nordström
    on 04 Jun 2012 at 12:15 in room 1537
    more information

Published by: Siavash Soleimanifard <siavashs@csc.kth.se>
Updated 2012-05-07