A proof mining case study on the unit interval
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 …
8 events found.
-
-
Regular matching problems for infinite trees
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 …
-
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 …
-
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 …
-
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 …
-
Introduction in Quantum Computing
Facultatea de Matematica si Informatica, sala S.211Title: Introduction in Quantum Computing Speaker: Mihai Prunescu (UB) Abstract: Basing QC notions are presented: superposition, wave-function and probability, qubit, independence, entanglement.
-
Introduction in Quantum Computing (II)
Facultatea de Matematica si Informatica, sala S.213Title: Introduction in Quantum Computing (II) Speaker: Mihai Prunescu (UB) Abstract: We continue the discussion on QC.
-
Cybersecurity of Industrial Control Systems
503 PBTTitle: 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, …