Logic for the AI Spring Summer School


CALL FOR PARTICIPATIONLogic for the AI Spring Summer SchoolLake Como School of Advanced Studies,September 12-16, 2022https://lais.lakecomoschool.org/ 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 […]

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

Talk by Elaine Pimentel


Our Lunch Seminar series continues on Monday, April 4th! We will host Elaine Pimentel (UCL London) who will give a talk on Ecumenical systems: from natural deduction with stoup to pure modal systems. See below for more information and the abstract: Abstract: Natural deduction systems, as proposed by Gentzen and further studied by Prawitz, is […]

Giuseppe Sergioli’s talk


Our Lunch Seminar series continues on Monday, March 7! We will host Giuseppe Sergioli (University of Cagliari) who will give a talk on Quantum Information and Machine Learning. From foundations to real applications See below for more information and the abstract: Abstract. This talk is about the connection between quantum in-formation theory and machine learning. […]

Francesca Toni’s seminar


Our Lunch Seminar series re-starts on Monday, February 21! We will host Francesca Toni (Imperial College London) who will give a talk on Argument graphs and assumption-based argumentation. See below for more information and the abstract: Abstract: Arguments in structured argumentation are usually defined as trees, and extensions as sets of such tree-based arguments with […]