Speaker: Radu Iosif (CNRS - VERIMAG, France) Abstract: We introduce a logical framework for the specification and verification of component-based systems, in which finitely many component instances are active, but the bound on their number is not known. Besides specifying and verifying parametric systems, we consider the aspect of dynamic reconfiguration, in which components can …

Speaker: Alexandru Dragomir (University of Bucharest) Abstract: One of the first and most discussed logical approaches to the problem of verifying security protocols is the one proposed in BAN logic . BAN logic is a many-sorted modal logic used for its intuitive and compelling set of inference rules devised for reasoning about an agent’s beliefs, …

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 mai multe detalii puteti consulta pagina manifestarii: https://cs.unibuc.ro/events/manyval2019/ Persoanele inregistrate vor primi kit-ul workshop-ului si vor putea participa la mesele si activitatile sociale anuntate. Participarea …

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. Cremers, S. Mauw, Operational Semantics and Verification of Security Protocols, Springer, 2012.  

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 Protocols, Springer, 2012.

Speaker: 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. It doesn’t contain any arbitrary parameters. It can be used to generate the propositional Sorites by appropriate replacement of the second-order premise with arbitrary clauses. …