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

seminar cancelled

Wed 11.2.2026 12-14, C124

Octavian Neculau: A non-structure theorem for the theory of differentially closed fields

Wed 18.2.2026 12-14, C124

Matilda Häggblom: TBA

Wed 25.2.2026 12-14, C124

No seminar

Wed 4.3.2026 12-14, C124

Exam week, no seminar

Wed 11.3.2026 12-14, C124

Andrew Cropper: TBA

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

Phokion Kolaitis: TBA

Wed 22.4.2026 12-14, C124

Instead of the seminar there is a Workshop on Team Semantics in the city centre 20.-22.4.

Wed 29.4.2026 12-14, C124

Jarkko Kari: TBA

Wed 6.5.2026 12-14, C124

Exam week, no seminar

Past talks