SECURITY & APPLIED LOGIC

Logical Foundations: Total and Partial Maps
2018-12-06 18:00 - 20:00 (Europe/Bucharest) | Facultatea de Matematica si Informatica, sala 202
Speaker: Miriam Costan.

This week we continue exploring Coq based on the Logical Foundations volume of Software Foundations, chapter “Total and Partial Maps”

Classical and quantum degrees of truth: a new look at the effects of a Hilbert space
2018-12-06 10:00 - 12:00
Speaker: Roberto Giuntini (University of Cagliari).

We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of effects in Hilbert spaces under the spectral ordering. These algebras, called PBZ∗-lattices, can also be seen as generalisations of orthomodular lattices and are remarkable for the collapse of three notions of “sharpness” that are distinct in general Brouwer-Zadeh lattices. We investigate the structure theory of PBZ∗-lattices and their reducts; in particular, we prove some embedding results for PBZ∗-lattices and provide an initial description of the lattice of PBZ∗-varieties.

Machine Learning Framework for Security Applications
2018-11-29 08:30 - 10:30
Speaker: Paul Irofti (University of Bucharest).

Machine learning helps us tackle large and apparently intractable optimization problems. Even though neural networks are by far the most popular choice in the field, we focus on dictionary learning (DL) for sparse representations (SR) instead. Our preference is motivated by the much simpler model that provides faster methods with a solid theoretical background, understanding and interpretability.
In fact it has been recently shown that the forward pass inside neural networks is equivalent to performing sparse representation. Thus performing dictionary learning can be interpreted as a backward pass on a much simpler and smaller model. This relaxation comes with a small performance hit in exchange for the large reduction in algorithm complexity.
Our talk will focus on adapting DL to Big Data conditions, DL classification and the problem of malware identification, nomaly detection, online DL and Internet of Things applications.
