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.
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