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