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 Building Dependable Concurrent Systems through Probabilistic Inference, Predictive Monitoring and Self-Adaptation by Gul Agha
    on 13 Jun 2016 at 13:15 in room 1537
    more information

  • TCS Seminar on Addressing dynamic behavior in cyber-physical systems from a communication middleware perspective: Challenges and some selected contributions. by Marisol García Valls
    on 16 Jun 2016 at 13:15 in room 4523, Lindstedtsvägen 5
    more information

Top page top