Latest Past Events

Active Defense in Cybersecurity

online (via Teams)

Title: Active Defense in Cybersecurity Speaker: Sergiu Bogdan Meseșan & Andreea Drugă, Cybersecurity Specialists at ENEA Agenda: Active Defense Mechanisms – Notions, principles and Active Defense mechanisms (ca.1h) Practical Application

Kernelization, Proof Complexity and Social Choice

Title: Kernelization, Proof Complexity and Social Choice Speaker: Gabriel Istrate (West University of Timișoara) Abstract: We display an application of the notions of kernelization and data reduction from parameterized complexity to proof

An Introduction to Protocols in Dynamic Epistemic Logic

Title: An Introduction to Protocols in Dynamic Epistemic Logic Speaker: Alexandru Dragomir (University of Bucharest) Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and acts of learning, seen as