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 Architecting the next generation of vehicles by Patrizio Pelliccione
    on 14 Nov 2016 at 13:15 in room 1440 Biblioteket, Lindstedtsvägen 3
    more information

  • TCS Seminar on Strong size lower bounds in regular resolution via games by Ilario Bonacina
    on 21 Nov 2016 at 12:00 in room 4523, Lindstedtsvägen 5
    more information

  • TCS Seminar on Space in proof complexity by Marc Vinyals
    on 28 Nov 2016 at 12:00 in room 4523, Lindstedtsvägen 5
    more information

Top page top