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 […]
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 […]
The next talk of our seminar series will be given by Paolo Perrone (University of Oxford) via Teams (please, see details below) on Monday, March 18th, starting from 12:30 (Milan time). Here it is the title and abstract of his talk: Title: Higher abstraction for probability and statistics Abstract: Probability and statistics are at the […]
The next talk of our seminar series will be given by Christian Straßer (Ruhr University Bochum) via Teams (please, see details below) on Monday, March 11h, starting from 12:30 (Milan time). Here it is the title and the abstract of his talk: Title: Reasoning and explaining with norms and default Abstract: In this talk I will present a general framework […]
The next talk of our seminar series will be given by Eric Pacuit (University of Maryland) via Teams (please, see details below) on Monday, March 4h, starting from 12:30 (Milan time). Here it is the title and the abstract of his talk: Title: From paradox to principles: Splitting cycles and breaking ties Abstract: Voting on two alternatives appears unproblematic compared […]
Prof. Sanjay Modgil, Reader in Artificial Intelligence at the Department of Informatics at King’s College London and visiting Professor at the Department of Philosophy at the University of Milan, will teach a course entitled Truth, Logic and Dialogue, on February 27 (room 515, at 10:30) and on February 28 (room S. Antonio I, at 10:30) at the Department of Philosophy (University of Milan). Anyone who […]
The next talk of our seminar series will be given by Sabine Frittella (INSA Centre Val de Loire) via Teams (please, see details below) on Monday, February 26th, starting from 12:30 (Milan time). Here it is the title and the abstract of her talk: Title: Probabilistic reasoning with incomplete and contradictory information Abstract: Belnap-Dunn logic (BD) [1] was designed to reason […]
We are delighted to announce that our logic seminar series is back! Talks will be held online, starting from February 19th, 12.30 CET. Anyone interested is welcome.
Hi all, On September 15, in Aula Martinetti, at 2.30 pm we will have a seminar hold by Stefano Nicoletti (University of Twente). Title of the talk: ATM: a Logic for Quantitative Security Properties on Attack Trees Abstract: Critical infrastructure systems — for which high reliability and availability are paramount — must operate securely. Attack trees […]
We are happy to announce that the third talk of the LUCI group seminar series (https://luci.unimi.it/) will be given by Melissa Antonelli(University of Bologna & INRIA Sophia Antipolis) via Zoom (please, see details below) on Friday, March 3rd, starting from 2pm (Milan time).Title: On Classical Counting Propositional LogicAbstract: Interactions between logic and theoretical computer science are several and deep, and the […]