Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest
Speaker: 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
Speaker: 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.
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