• 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.

  • Talk by Rineke Verbrugge on May 30th

    The last talk of our Lunch Seminar series for this semester will take place on Monday, May 30th at 13:00 and will be given by Rineke Verbrugge ( University of Gronigen) Title: Every formula of provability logic is either almost always valid or almost always invalid Abstract: It has been shown in the late 1960s […]

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