SLSS 2024 — Twelfth Scandinavian Logic Symposium

The Scandinavian Logic Symposium (SLSS) is symposium organized by the Scandinavial Logic Society. In 2024, it takes place in June in Reykjavik, Iceland. The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world.

Topics: Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Modal and Temporal Logics, Dynamic Logics, Logic and Computer Science, Logic in AI and Multi-Agent Systems, Logic and Linguistics, Philosophical Logic, Philosophy of Logic, Mathematics and Computation