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 Part I: Future-Proof Software and Part II: How to test the universe? - Efficient Testing of Software Product Lines by Ina Schaefer
    on 22 May 2017 at 10:00 in room 1537
    more information

  • TCS Seminar on "Secure" execution platforms for application software — some definitions of "secure" by Frank Piessens
    on 24 May 2017 at 12:00 in room 4523, Lindstedtsvägen 5
    more information

  • TCS Seminar on Unified and optimal lower bounds for monotone computation by Robert Robere
    on 29 May 2017 at 12:00 in room 4523, Lindstedtsvägen 5
    more information

  • TCS Seminar on Revisiting Diffusion Process for Hypergraph Laplacian by Hubert Chan
    on 30 May 2017 at 13:15 in room 4523, Lindstedtsvägen 5
    more information

Top page top