Knowledge Representation and Reasoning Seminar

In this seminar, we want to compile together introductory talks that deal with computer security and logic, in particular, applications of ASP and SAT to security in computer networks.

More details: topics will be placed online by Friday April, 24th.

The talks will likely take part on few appointments with longer timeslots.

After latest decisions from the VR of Studies, we will try to organize the course as online course only for the entire semester.