Talks
2025
- Vantaggi e Svantaggi dell'IA nei Processi Legali - Notturni Filosofici, Dialoghi tra Scienza e Società (Fondazione YEAS)
- Support + Belief = Decision Trust - 32nd International Colloquium On Structural Information and Communication Complexity
2024
- The logical art of keeping a true secret - Theory and Logic Group Seminars (TU Wien)
- The logical art of keeping a true secret - 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (University of Aveiro)
- Logic for ignorance and what to learn from them - XXV World Congress of Philosophy Rome (Sapienza University Rome)
- Support + Beliefs = Decision Trust - LAAG (Logic, Algebra, Analysis, Geometry) seminar (University of Urbino)
2023
- Higher-order ignorance, a roadmap on how to avoid it - Theory and Logic Group Seminars (TU Wien)
- Frequentist Probability Logic - 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (TU Eindhoven)
- Frequentist Probability Logic - Synergia Research Group Meeting (University of Urbino)
- Studying the map: a taxonomy of formal models of ignorance - Workshop on Formal Modeling of Ignorance. Kickoff Meeting for the DEKLA PRIN Project (University of Urbino)
- Propositional and Doxastic Justification: a Formal Approach - Silfs 2023 Triennial International Conference (University of Urbino)
- Using Modal Logic to Reason about Evidence and Trust - Modal Logic Afternoon by Synergia Research Group (University of Urbino)
2022
- Robots as trustworthy agents in social interactions - Workshop on Social Robots as a Means of Indirect Influence. SoRaMI 2022. (University of Florence)
- Using Justified True Beliefs to Explore Formal Ignorance - 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (Humboldt University Berlin)
- Reasoning about Ignorance - Logic for the AI Spring Summer School
2021
- Two Images of Trust: Philosophical and Computational - The manifest image and the scientific image: objects, properties and relations; PRIN midterm presentations (University of Florence)
- Trust Evidence Logic - European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Institute of Information Theory and Automation, Pregue)
2020
- Reasoning about ignorance and beliefs - 2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (Online)
- Tutto quello che ignorate dell'ignoranza - Synergia Research Group Meeting (University of Urbino)
- Il caso della fiducia digitale - Synergia Research Group Meeting (University of Urbino)
2019
- A Trust Logic for the Varieties of Trust - 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (University of Oslo)
- How to Build a Computational Notion of Trust - 16th International Congress on Logic, Methodology and Philosophy of Science and Technology (Czech Technical University, Prague)
- How to Build a Formal Notion of Trust - 4th Silfs Postgraduate Conference on Logic and Philosophy of Science (University of Urbino)
2018
- Are my Arguments Trustworthy? Abstract Argumentation with Subjective Logic - 21st International Conference on Information Fusion (University of Cambridge)
- A Trust Logic for Pre-Trust Computations - 21st International Conference on Information Fusion (University of Cambridge)
- A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures - 17th European Conference of Cyber Warfare and Security (University of Oslo)
2017
- Computational Trust: Principles for Mathematical Representations and Analyses of Trust - AFSecurity Group Meeting (University of Oslo)
- Different Semantics for Reasoning about Knowledge and Trust - 32nd Italian Conference on Computational Logic (University of Naples)
- Nomological Mapping Account: a Comparison - Silfs 2017 Triennial International Conference (University of Bologna)
- From Knowledge to Trust: a Logical Framework for Pre-Trust Computations - Conserns: Oslo Security Lab Meeting (University of Oslo)
2016
- When is a Computation Realized by a Physical System? - International Association for Computing and Philosophy, Annual Meeting (University of Ferrara)