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.
Category: seminar
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 […]
Seminar with Melissa Antonelli on March 3rd
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 […]
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 […]
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 […]
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 […]
Talk by Ole Hjortland (Postponed, TBD)
N.B. The talk has been postponed, to a date yet to be decided. Our Lunch Seminar series continues on Monday, May 2nd! Our speaker will be Ole Hjortland ( University of Bergen) who will give a talk on Logical pluralism and abductivism in logic. Abstract: Logical knowledge has often been considered exceptional, either because it […]
Talk by Alberto Termine
Our Lunch Seminar series continues on Monday, April 11th! Our speaker will be Alberto Termine ( University of Milan) who will give a talk on Model Checking Stochastic Multi Agent Systems with Imprecise Probabilities. See below for more information and the abstract: Abstract: Stochastic multi-agent systems raise the necessity to extend probabilistic model checking to […]