The TCS group works on the foundations of efficient and correct algorithms and software, and it deals with the tractability of computational problems. Applications areas include software engineering, computer security and privacy, cryptography, verification and sat solving, natural language tools, and computer science education.
Informal TCS workshop on computer security on Oct 19.
Theory Reading Group on Understanding conflict-driven SAT solving through the lens of proof complexity
by Jakob Nordström
on 20 Nov 2017 at 12:00 in 4523 more information
TCS Seminar on Machines that read and reason: Multi-hop reading comprehension across documents
by Pontus Stenetorp, Senior Research Associate at University College
on 24 Nov 2017 at 11:15 in Seminar room 4523, Lindstedtsvägen 5, level 5 more information
TCS Seminar on Model Checking Strategic Ability: Why, What, and Especially: How?
by Wojtek Jamroga
on 05 Dec 2017 at 15:15 in room 4523 more information