Tomorrow December 21, 2023 Chiara Manganini will give a talk “On the Ontology of Machine Learning Systems and its Implications for the Taxonomy of Miscomputation” at IDSIA Lugano. The presentation is based on a joint work with Alberto Termine (IDSIA USI-SUPSI) and Giuseppe Primiero (UniMI).
Hykel Hosni partecipa al workshop Una Metodologia per valutazioni Multi-Hazard e Multi-Rischio a supporto della pianificazione di Protezione Civile: risultati, nodi, prospettive presso il Dipartimento di Ingegneria Civile e Ambientale del Politecnico di Milano il 25 ottobre 2023. L’evento è orientato all’interazione tra la comunità scientifica e i decisioni pubblici.
Costanza Larese gave a talk on “Ethical Dilemmas of Artificial intelligence” as part of the university orientation activities dedicated to the high-school students of Liceo Einstein, organised by Cosp in Milan on September 20-22.
Jürgen Landes joined the editorial board of Logique et Analyse as an associate editor.
Greta Coraglia gave a talk on “Categorical models for subtyping” at the 108th Peripatetic Seminar on Sheaves and Logic [https://sites.google.com/view/beppemetere/pssl-108/], organized in Terrasini (Palermo) on September 16-17.
Giuseppe Primiero gave an invited talk on ”Trustworthiness Ranking with Uncertain Information” at the Graphical Reasoning with Imperfect Data (GRID) workshop [https://wordpress.com/page/jlandes.wordpress.com/1212] organised by Jürgen Landes, which was held at 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023) [https://kr.org/KR2023/].
The 2nd international workshop on the emerging ethical aspects of AI, with a focus on Bias, Risk, Explainability and the role of Logic and Computational Logic. BEWARE23 is co-located with the AIxIA 2023 conference . Aims and Scope Current AI applications do not guarantee objectivity and are riddled with biases and legal difficulties. AI systems […]
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 […]
Dear all, the LUCI lab is happy to announce that Prof. Franco Raimondi (Middlesex University London) will give a talk on Tuesday 11th July in “Martinetti” room (Dep. of Philosophy, Via Festa del Perdono 7, Cortile Ghiacciaia), starting from 11am. Title: Logic as a tool to build reliable complex and critical systems Abstract: An increasingly […]
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 […]
