POSTPONED: Protocols in Dynamic Epistemic Logic

Speaker: Alexandru Dragomir (University of Bucharest)

Title: Protocols in Dynamic Epistemic Logic
Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and certain acts of learning (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 protocol comes in: a protocol stipulates what epistemic actions are allowed to be performed in a model. The aim of my presentation is to introduce the audience to the account of protocols in [1, 2].

[1] H. van Ditmarsch, S. Ghosh, R. Verbrugge, Y. Wang, Hidden protocols: Modifying our expectations in an evolving world, Artificial Intelligence 208 (2014), 18-40.
[2] Y. Wang, Epistemic Modelling and Protocol Dynamics, PhD thesis, University of Amsterdam, 2010.

POSTPONED: Securing Businesses and Critical Infrastructure



Speaker: Ioan Constantin (Orange Romania)

Abstract: A brief walkthrough some of the challenges in offering advanced cyber security solutions for Business and Critical Infrastructures, from a Managed Security Services Provider’s standpoint. We’ll talk threat detection and mitigation, the specifics of OT Security in Critical Infrastructure, compliance and best practices. We’ll also glance at some of the research and development in these areas.

Câștigători Burse și Premii Bitdefender

– Burse de merit anul II: Costea Marina si Nicolae Cristian (2500 RON fiecare)
– Burse de merit anul I: Marian Gusatu si Bogdan Macovei (2.500 RON fiecare)
– Premii de cercetare pentru sem I (500 RON fiecare): Marian Gusatu, Bogdan Macovei, Horatiu Cheval, Parvu Daniel
– Bursa de cercetare pentru sem II: Horatiu Cheval (1000 RON pe luna martie-iulie)

BLOCKCHAIN – More than a buzzword

Title: 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 to hold historical transactional data (while maintaining all the core concepts of Cryptography) and moreover, to see how IPFS uses such approaches to ensure a way of general data storage with the same capabilities. We will choose the Ethereum network as a use case for the first topic, taking a deeper look into the upcoming Casper update for the consensus mechanism, introducing the Proof of Stake paradigm.

A quantitative analysis of the “Lion-Man” game

SpeakerUlrich 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 precisely, we focus on a discrete lion and man game with an ε-capture criterion. We prove that in uniformly convex bounded domains the lion always wins and, using ideas stemming from proof mining, we extract a uniform rate of convergence for the successive distances between the lion and the man. As a byproduct of our analysis, we study the relation among different convexity properties in the setting of geodesic spaces.
Joint work with Genaro López-Acedo and Adriana Nicolae.

[1] U. Kohlenbach, G. López-Acedo, A. Nicolae, A quantitative analysis of the “Lion-Man” game. arXiv:1806.04496 [math.MG], 2019. Submitted.

Practica Anul I Sem. II

Pentru desfășurarea activitaților de practică din anul I, semestrul I, studenții SLA au la dispoziție următoarele opțiuni:

    Activitatea se desfășoară în facultate, profesor îndrumător: Mihăiță Drăgan.
    Se adreseaza studentilor care doresc sa participe la Campionatul European de Securitate Cibernetică, profesor îndrumător: Ruxandra Olimid.
    Activitatea se desfăsoară la sediul firmelor cu care avem parteneriat. În acest an, vă propunem urmă toarele companii:

– Runtime Verification Romania, subsidiara a Runtime Verification, Inc


Vor fi anuntati si alti parteneri!

    Studenții aleg dintre temele de cercetare propuse, activitatea este supervizată de profesorul care a propus tema. Studenții pot propune teme de cercetare, în acest caz ei trebuie sa îsi gaseasca un profesor coordonator.
    Studenții îsi gasesc singuri firma la care vor desfăsura activitatea de practică. In acest caz firma trebuie să semneze acordul de practică cu facultatea, iar activitatea trebuie sa fie supervizată de dl. prof. Silviu Laurențiu Vasile.

Mai multe detalii pe pagina moodle a masterului.

Burse Bitdefender

Bursele Bitdefender de merit (acordate in urma rezultatelor din semestrul I, anul universitar 2019-2020), premiile si bursele de cercetare vor fi anuntate la inceputul lunii martie.

Ultima bursa Bitdefender acordata unui studenti SLA este bursa de merit pentru rezultatele din semestru II in anul universitar 2018-2019, care a fost acordata studentului Constantin Cir.

Cyber Security (PREGATIRE pentru ECSC 2020)

Prima intalnire de pregatire cu studentii FMI pentru ECSC 2020 va avea loc miercuri, 26 februarie, ora 14:00 in sala 214 (sala Google). Participa: Silviu Sofronie (Bitdefender). Cei care doresc sa participe trebuie sa completeze urmatorul formular:

Mai multe informatii despre ECSC:

Pentru studentii la masterul de SLA, participarea la orele de pregatire poate fi considerata practica (mai multe detalii la cerere, la prima intalnire).

Va asteptam!