logo

Logic Seminar

Organizers: Laurențiu Leuștean, Andrei Sipoș


The logic seminar features talks on
mathematical logic,
philosophical logic and
logical aspects of computer science.
All seminars, except where otherwise indicated,
will be at 10:00 in Hall 202,
Faculty of Mathematics and Computer Science,
University of Bucharest.
logo
Past Seminars

    Our logo and our posters are designed by Claudia Chiriță.


Talks in 2019-2020


Thursday, September 19, 2019

Radu Iosif (CNRS - VERIMAG, France) )
Local Reasoning about Parametric and Reconfigurable Component-based Systems


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 migrate at runtime on a physical map, whose shape and size may change. We describe such para- metric and reconfigurable architectures using resource logics, close in spirit to Separation Logic, used to reason about dynamic pointer structures. These logics support the principle of local reasoning, which is the key for writing modular specifications and building scalable verification algorithms, that deal with large industrial-size systems. Joint work with Marius Bozga and Joseph Sifakis.


    Past Seminars