Nel 2019 l’UNESCO ha proclamato il 14 gennaio Giornata Mondiale della Logica (World Logic Day). L’iniziativa raccoglie adesioni in tutto il mondo, e il calendario di eventi è molto ricco. Grazie al Logic Uncertainty Computation and Information (LUCI) Lab del Dipartimento di Filosofia “Piero Martinetti”, anche l’Università degli Studi di Milano partecipa alle celebrazioni con un incontro dal […]
Congratulations to Costanza Larese for winning the SILFS Prize for Women in Logic and Philosophy of Science with her article “Hintikka’s conception of syntheticity as the introduction of new individuals.”
Title: Building Trustworthy Autonomous Systems under Uncertainty: a Probabilistic Approach to Ethical Decision-Making Abstract: Autonomous systems, such as driverless cars and drones, are increasingly deployedacross various fields, promising significant socioeconomic benefits. However, thesesystems − especially fully autonomous ones − raise concerns regarding safety, ethics,and compliance with legal and social norms. Trustworthy autonomous systems must demonstrate […]
Centre for Philosophy of Sciences of the University of Lisbon Of People and Code – Epistemological, Ontological, and Formal Approaches to AI 28 November 2024 This workshop aims to explore crucial issues raised by contemporary computational models and methods in AI. The focus will be on fostering discussions about the epistemological, ontological, and formal considerations, […]
Data abounds and our ability to process it algorithmically is unprecedented. This opens up to exciting prospects for scientific and technological advance which were unimaginable only two decades ago. Data-intensive and AI-driven methods are therefore likely to shape a significant proportion of science in the decades to come. This requires us to rethink the very […]
We are excited to announce that our department is supporting MIRAI (Milano Responsible AI), its first spin-off! MIRAI is a platform for Responsible AI solutions and is a startup born from the results of the PRIN BRIO research project, funded by the MUR and led by Prof. Giuseppe Primiero. The project investigates the logical, epistemological […]
The next talk of our seminar series will be given by Lourdes del Carmen González Huesca (Universidad Nacional Autónoma de México) via Teams (please, see details below) on Monday, May 13th, starting from 16:00 CET. Here it is the title and abstract of her talk: Title: Non-classical Epistemic Axioms for Computer-Aided Verification Abstract: We have explored the adequacy of IS5 maintaining the […]
The next talk of our seminar series will be given by Andrea Sabatini (Scuola Normale Superiore) via Teams (please, see details below) on Monday, May 6th, starting from 12:30 CET. Here it is the title and abstract of his talk: Title: Proofs and refutations: a structural approach to nonmonotonic reasoning Abstract: In this talk I will present a novel proof-theoretic approach to […]
The next talk of our seminar series will be given by Vaishak Belle (University of Edinburgh) via Teams (please, see details below) on Monday, April 29th, starting from 12:30 CET. Here it is the title and abstract of his talk: Title: Logic meets Learning: From Aristotle to Neural Networks Abstract: The tension between deduction and induction is perhaps the most fundamental issue […]
The next talk of our seminar series will be given by Valentin Goranko (Stockholm University) via Teams (please, see details below) on Monday, April 15th, starting from 12:30 CET. Here it is the title and abstract of his talk: Title: A Logic for Strategic Reasoning of Rational Agents with Normative Constraints Abstract: I will present a logic-based study of agency and multi-agent […]
