News

  • MIRAI (Milano Responsible AI) takes off!

    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…

  • Talk by Lourdes del Carmen González Huesca

    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…

  • Talk by Andrea Sabatini

    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…

  • Talk by Vaishak Belle

    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…

  • Talk by Valentin Goranko

    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…

  • Talk by Thomas Bolander

    The next talk of our seminar series will be given by Thomas Bolander (Technical University of Denmark) via Teams (please, see details below) on Monday, April 8th, starting from 12:30 (Milan time). Here it is the title and abstract of his talk: Title: From Dynamic Epistemic Logic to Socially Intelligent Robots Abstract: Dynamic Epistemic Logic (DEL) can be used as…

Archive