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 Simulation theorem and fork-lift
by Sagnik Mukhopadhyay
on 17 Oct 2016 at 12:00 in room 4523, Lindstedtsvägen 5
TCS Seminar on Rigorous simulation
by Walid Taha
on 24 Oct 2016 at 13:15 in room 1440 Biblioteket, Lindstedtsvägen 3