Research Seminar • Nordic Online Logic Seminar • Lindström Lectures • Events 2025 • 2024 • 2023 • 2022 • 2021 • 2020 • 2019–2014 • pre 2014 Logic Seminar Logic Seminar Logic Seminar Logic Seminar Logic Seminar Logic Seminar Logic Seminar Logic Seminar Logic Seminar Logic Seminar Logic Seminar Guillermo Badia (University of Brisbane) Codd's theorem for databases over semirings