Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest
Title: A proof mining case study on the unit interval Speaker: Andrei Sipoș (University of Bucharest & IMAR) Abstract: In 1991, Borwein and Borwein proved the following: if L>0, f : → is L-Lipschitz, (xn), (tn) ⊆ are such that for all n, xn+1=(1-tn)xn+tnf(xn) and there is a δ>0 such that for all n, tn≤(2-δ)/(L+1), then …
Title: Regular matching problems for infinite trees Speaker: Mircea Marin (West University of Timișoara) Abstract: We study the matching problem “∃σ:σ(L)⊆R?” where L and R are regular tree languages over finite ranked alphabets X and Σ respectively, and σ is a substitution such that σ(x) is a set of trees in T(Σ∪H)∖H for all x∈X. Here, H …
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 epistemic actions. However, not all epistemic actions are allowed to be executed in an initial epistemic model, and this is where the concept of a …
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 complexity: Specifically, we show that the existence of data reduction rules for a parameterized problem having (a) a small-length reduction chain, and (b) small-size (extended) …
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 for Honeypot Analytics and Attacks Data Collection – Presentation of a platform implemented by ENEA specially for this lecture, a practical demo of Active Defense …
Title: Introduction in Quantum Computing Speaker: Mihai Prunescu (UB) Abstract: Basing QC notions are presented: superposition, wave-function and probability, qubit, independence, entanglement. Acknowledgement: This seminar talk is (in part) due to Q-FENCE, Programme HORIZON.2.3 - Civil Security for Society, grant agreement ID: 101225708. This project has received funding from the European Unions Horizon Europe research …
Title: Introduction in Quantum Computing (II) Speaker: Mihai Prunescu (UB) Abstract: We continue the discussion on QC. Acknowledgement: This seminar talk is (in part) due to Q-FENCE, Programme HORIZON.2.3 - Civil Security for Society, grant agreement ID: 101225708. This project has received funding from the European Unions Horizon Europe research and innovation programme under grant …
Title: Cybersecurity of Industrial Control Systems Speaker: Stéphane Mocanu (INRIA) Abstract: In this talk, we discuss the state of the art of industrial control systems cybersecurity. Based on classical events, we analyse the typical threats and the vulnerabilities that they exploit. In the second part of the talk, we present the security architectures and security …
Title: Introduction in Quantum Computing (III) Speaker: Mihai Prunescu (UB) Abstract: We continue the discussion on QC. Acknowledgement: This seminar talk is (in part) due to Q-FENCE, Programme HORIZON.2.3 - Civil Security for Society, grant agreement ID: 101225708. This project has received funding from the European Unions Horizon Europe research and innovation programme under grant …
Title: Hidden subgroup problem Speaker: Mihai Prunescu (UB) Abstract:A subgroup H of G = F2 x .... x F2 is implicitly given by a function rho on G. The function rho is constant on classes H+x. A classical quantum algorithm is able to find a generating set of H. Acknowledgement: This seminar talk is (in …