Seminars
Hi everybody! Our seminar series starts on Friday Febr. 3, at 2 pm. Our first speaker is Annemarie Borg. Here it is the title and the abstract of her talk:
15 Sep 2023 · Seminar
Critical infrastructure systems — for which high reliability and availability are paramount — must operate securely. Attack trees (ATs) are hierarchical diagrams that offer a flexible modelling language used to assess how systems can be attacked. ATs are…
3 Mar 2023 · Seminar
Interactions between logic and theoretical computer science are several and deep, and the development of deterministic computational models has considerably benefitted from their study. Strikingly, randomized computation was only marginally touched by such…
17 Feb 2023 · Seminar
We develop a logical framework for reasoning about knowledge and evidence in which the agent may be uncertain about how to interpret their evidence. Rather than representing an evidential state as a fixed subset of the state space, our models allow the set…
3 Feb 2023 · Seminar
As AI systems are increasingly applied in real-life situations, it is essential that such systems can give explanations that provide insight into the underlying decision models and techniques. Thus, users can understand, trust and validate the system, and…