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

Seminars

  • TCS Seminar on Pseudo-Boolean Constraints: Reasoning and Compilation by Romain Wallon
    on 11 Sep 2017 at 13:15 in room 4523, Lindstedtsvägen 5
    more information

Top page top