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