POSTPONED: Securing Businesses and Critical Infrastructure

Facultatea de Matematica si Informatica, sala Google

POSTPONED UNTIL FURTHER NOTICE.   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

POSTPONED: Protocols in Dynamic Epistemic Logic

Facultatea de Matematica si Informatica, sala 202

POSTPONED UNTIL FURTHER NOTICE. 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