Seminar
Logic Seminar
The Logic seminar is held on Wednesdays, usually at 12-14. If not separately specified, the talks always start at a quarter past.
We occasionally have online talks - the permanent Zoom room for the seminar is: https://helsinki.zoom.us/j/62891400777?pwd=UldCeThTaTJVQjUzUFo4S2ErcndNQT09 (Meeting ID: 628 9140 0777, Passcode: 164195)
The seminar is led by prof. Juha Kontinen and Åsa Hirvonen.
Schedule of the spring term 2026
Wed 14.1.2026 12-14, C124
No seminar
Wed 21.1.2026 12-14, C124
Kai Sauerwald: New Results on the Complexity of Preferential Reasoning
Abstract: In this talk, we will consider recent results on the complexity of preferential reasoning in the style of Kraus, Lehmann, and Magidor. We begin with a brief overview of the approach and classical results. Novel complexity results on propositional preferential reasoning are presented. In the last part, we will then consider the combination of preferential reasoning with propositional dependence logic and the (non)feasibility of inference with this context.
Wed 28.1.2026 12-14, C124
Veeti Ahvonen (Tampere University): Logical Foundations for Modern Computational Models
Wed 4.2.2026 12-14, C124
Wed 11.2.2026 12-14, C124
Wed 18.2.2026 12-14, C124
Wed 25.2.2026 12-14, C124
Wed 4.3.2026 12-14, C124
Exam week, no seminar
Wed 11.3.2026 12-14, C124
Wed 18.3.2026 12-14, C124
Wed 25.3.2026 12-14, C124
Wed 1.4.2026 12-14, C124
Wed 8.4.2026 12-14, C124
Easter break, no seminar
Wed 15.4.2026 12-14, C124
Wed 22.4.2026 12-14, C124
Wed 29.4.2026 12-14, C124
Wed 6.5.2026 12-14, C124
Exam week, no seminar