Seminar with Melissa Antonelli on March 3rd

We are happy to announce that the third talk of the LUCI group seminar series ( 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 […]

Seminar with Aybüke Özgün on Feb 17th

We are happy to announce the second talk of the LUCI group seminar given by Aybüke Özgün (ILLC, University of Amsterdam) on Friday, February 17th, starting from 2pm (Milan time). Title: Uncertainty about Evidence (joint work with Adam Bjorndahl) Abstract: We develop a logical framework for reasoning about knowledge and evidence in which the agent may be uncertain about how […]

Seminar Series 2023

Hi everybody! Our seminar series starts on Friday Febr. 3, at 2 pm. Our first speaker is Annemarie Borg. Here it is the title and the abstract of her talk: Title: Explaining Argumentation-Based Conclusions at the Netherlands Police Abstract: As AI systems are increasingly applied in real-life situations, it is essential that such systems can […]

Welcome Jürgen!

We are very pleased to announce that Jürgen Landes just joined us as an Assistant Professor. Jürgen holds a PhD in mathematical logic, from the University of Manchester (2009), and has been doing philosophy proper since 2012. His main interest is in uncertain inference. In particular, he works on Pure Inductive Logic, the Principle of […]

Logic for the AI Spring Summer School

CALL FOR PARTICIPATIONLogic for the AI Spring Summer SchoolLake Como School of Advanced Studies,September 12-16, 2022 DESCRIPTIONLogic for the AI Spring aims at bringing together logicians and other scientists working around and within the currently blossoming new AI Spring. In addition to a glorious past which must not be forgotten, logic has a fundamental role […]

Talk by Ole Hjortland on May 23rd

The talk by Ole Hjortland ( University of Bergen) for our Lunch Seminar series, originally planned for May 2nd, will take place on Monday, May 23rd at 13:00! Title: Logical pluralism and abductivism in logic Abstract: Logical knowledge has often been considered exceptional, either because it is a priori, foundational, or simply self-evident. Against this, […]

Talk by Felix Weitkämper

Our Lunch Seminar series continues on Monday, May 16th! Our speaker will be Felix Weitkämper( LMU Munich) who will give a talk on Statistical relational artificial intelligence and first-order logics of probability Abstract: After a general introduction to both components of the title, we will see how the lens of first-order logics of probability can […]