Events

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