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 The QRAT proof system by Martina Seidl
    on 18 Jan 2017 at 12:00 in room 1537, Lindstedtsvägen 3
    more information

  • Dissertation on On Complexity Measures in Polynomial Calculus by MMladen Mikša
    on 20 Jan 2017 at 14:00 in DRoom D2, Lindstedtsvägen 5
    more information

  • TCS Seminar on Cumulative space in black-white pebbling and resolution by Susanna F. de Rezende
    on 23 Jan 2017 at 12:00 in room 4523, Lindstedtsvägen 5
    more information

  • TCS Seminar on The State of the Art of Automatic Program Repair by Martin Monperrus
    on 25 Jan 2017 at 10:00 in room 4523,, Lindstedtsvägen 5
    more information

Top page top