ManyVal 2019
In perioada 1-3 noiembrie organizam workshop-ul international ManyVal 2019, dedicat in special cercetarilor in logica cu mai multe valori. Editia actuala beneficiaza si de participarea unor filozofi-logicieni de marca. Pentru …
Loading view.
Anomaly Detection Reading Group: Anomaly Detection by Unmasking
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Marius Popescu (University of Bucharest) Abstract: We continue our adventure by investigating existing natural language processing results that deal with unmasking authorship and their application to anomaly detection. Required …
Operational Semantics of Security Protocols
Facultatea de Matematica si Informatica, sala 202Speaker: Ioana Leustean (University of Bucharest) Abstract: After a brief overview of the formal methods used for analyzing security protocols, we will focus on the operational semantics developed in: C. …
Executarea, detecţia și prevenţia atacurilor de tip R.O.P
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Sorin-Gabriel Radu (University of Bucharest) Abstract: Va fi prezentată o versiune extinsă a lucrări de licență ce va prezenta concepte de Return Orientated Programming, o tehnică de reciclare și combinare …
Operational Semantics of Security Protocols II
Facultatea de Matematica si Informatica, sala 202Speaker: Ioana Leustean (University of Bucharest) Abstract: We continue our presentation on operational semantics of security protocols, as developed in: C. Cremers, S. Mauw, Operational Semantics and Verification of Security …
First-order logic and vagueness
Facultatea de Matematica si Informatica, sala 202Speaker: Marian Calborean (University of Bucharest) Abstract: The Sorites paradox is usually studied as a propositional paradox. However, the general form of the Sorites is second-order, with three main features. …
Off-the-Record Communication (OTR) si CryptoGo (joc de carti de criptografie)
Facultatea de Matematica si Informatica, amf.2 (Pompei)Title: Off-the-Record Communication (OTR) Speaker: Mihail-Iulian Plesa Abstract: Off-the-Record Communication (OTR) este un protocol care modealeaza o discutie dintre doua entitati, care ar trebui sa satisfaca anumite proprietati de securitate. …
Challenges in Banking
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Horia Velicu (BRD - Groupe Societe Generale) Abstract: Presentation of topics of interest for 2020, objectives and data available at BRD. Proposals for the themes for the applied research …
A quantitative analysis of the “Lion-Man” game
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Ulrich Kohlenbach (Technische Universität Darmstadt) Title: A quantitative analysis of the “Lion-Man” game Abstract: We analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuit-evasion game. More …
BLOCKCHAIN – More than a buzzword
Facultatea de Matematica si Informatica, sala 219Title: BLOCKCHAIN - More than a buzzword Speaker: Ionut-Daniel Dobos (MBN Technologies) Abstract: In this presentation we will take a look at the concept of a blockchain as a mean …