Protocols in Dynamic Epistemic Logic

Facultatea de Matematica si Informatica, sala 202

Speaker:  Alexandru Dragomir (University of Bucharest) Abstract: Dynamic epistemic logics are useful in reasoning about knowledge and certain acts of learning (epistemic actions). However, not all epistemic actions are allowed

Dynamic Code Analysis

Speaker:  Radu Velea (BitDefender) Abstract: Static code analysis methods have the advantage of providing deterministic and reliable results. Malware has evolved beyond the point where simple pattern matching algorithms or