Theoretical Computer Science – TCS

TCS concerns the foundations of efficient and correct algorithms, and it deals with the tractability of computational problems. Applications include computational biology, cryptography, natural language tools, and complex technical systems.

Selected News

Current Seminars and Events


  • TCS Seminar on Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction by Valentin Goranko
    on 20 Mar 2017 at 13:15 in Biblioteket 1440, Lindstedtsvägen 3
    more information

  • TCS Seminar on Complexity theory beyond deterministic exponential time and applications by Igor Carboni Oliveira
    on 27 Mar 2017 at 12:00 in room 4523, Lindstedtsvägen 5
    more information

Top page top