Seminar series 2024
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.
Events
MA and BA Thesis Discussions in February
This February four of our students will discuss their MA and BA theses, written under the supervision of the professors from the LUCI lab. Check out their abstracts! Morphogenesis – Complex Systems Modeling within the Debate on the Structure of Evolutionary Theory MA thesis by Elena Bastia The rise of complexity sciences has shed light […]
Chiara Manganini and Giuseppe Primiero @ IDSIA Lugano
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 @ POLIMI
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 @ Liceo Einstein
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 @ Logique et Analyse
Jürgen Landes joined the editorial board of Logique et Analyse as an associate editor.
Greta Coraglia @ PSSL 108
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 @ KR
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/].
BEWARE 2023 Workshop
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 […]
Seminar with Stefano Nicoletti (University of Twente)
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 […]