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 Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction
by Valentin Goranko
on 20 Mar 2017 at 13:15 in Biblioteket 1440, Lindstedtsvägen 3 more information
TCS Seminar on Complexity theory beyond deterministic exponential time and applications
by Igor Carboni Oliveira
on 27 Mar 2017 at 12:00 in room 4523, Lindstedtsvägen 5 more information