• 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 […]

  • New Member

    Francesco A. Genco joined the LUCI Group as a postdoctoral researcher in the context of the BRIO project (Bias, Risk, Opacity in AI: Design, Verification and Development of Trustworthy AI — PRIN Scheme).

  • 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 […]

  • New Member

    Ekaterina Kubyshkina joined the LUCI Group as a postdoctoral researcher in the framework of the project “Foundations of Fair and Trustworthy AI”, funded by University of Milan.