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 SAT-based learning to verify liveness of randomised parameterised systems by Philipp Rümmer
    on 06 Mar 2017 at 12:00 in room 4523, Lindstedtsvägen 5
    more information

Top page top