Invited Speakers
Catuscia is Director of Research at INRIA and Leader of the equipe Comète.
She's interested in principles of programming languages, logic and functional programming, theory of concurrency, distributed systems, formal methods for security. Amongst many other things she was PC chair of LICS 2015, 30th Annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6-10 July 2015.
Title: Differential Privacy and Applications to Location Privacy
Abstract: In this talk, we review the notion of Differential Privacy, its implications in terms of Bayesian Adversary, and we discuss typical implementations from the point of view of their optimality with respect to utility. Then, we consider an extension of differential privacy to general metric domains, and the consequences for the optimality results. Finally, we show an instantiation to the case of location privacy, leading to the notion of geo-indistinguishability.
A full lecturer at the Department of Computer Science at the University of Brasília, Claudia is interested in proof methods for combined modal logics and automated deduction theory and tools. She's one of the main organizers of TABLEAUX/ITP/Frocos to happen in Brasilia in 2017.
Title: Strategies for Modal Theorem-Proving
Abstract.
Many recent proposals aim to simplify semantic representations, and Abstract Meaning Representation (AMR) comes from this
tradition, but it is nevertheless quite expressive. Bos 2016 proposes a slightly reformed AMR for translation to first order logic.
This paper proposes a different augmentation of AMR that is more easily provided, and a slightly different mapping to higher order and dynamic logic. The proposed augmentation can be, at least in most cases, easily computed
from standard ‘unreformed’ AMR corpora. The mapping from this augmented AMR to logical representation is a finite state multi bottom up tree transduction.
MiniBio:
Claudia is a full lecturer at the Department of Computer Science at the University of Brasilia. She is primarily interested in proof methods for non-classical logics and their combinations. She has worked in both the theoretical foundations and implementation of reasoning tools for several families of normal modal logics (allowing symmetry, reflexivity, seriality, transitivity, Euclideaness, and also parametrised multi-modal confluent logics); interacting temporal logics of knowledge; Coalition Logics, the non-normal modal logic for reasoning about cooperative agency; dynamic logics indexed by Petri-net programs; and finitely many-valued logics. She is one of the main organizers of TABLEAUX/ITP/Frocos to happen in Brasilia in 2017.