Scandinavian Logic Symposium 2026
Copenhagen, Denmark
August 21–23, 2026
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. The meeting will include invited lectures and a forum for participants to present contributed talks.
Suggested topics
The scope of SLSS is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, among others. Major topics include (but are not limited to):
- 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
Interdisciplinary work connecting logic with neighbouring fields is particularly encouraged.
Submission Information
Abstracts of contributed talks, in PDF format, not exceeding two A4 (11pt) pages, should be submitted through EasyChair by May 17th, 2026, AoE:
Papers will be peer-reviewed by the Program Committee. Accepted papers will be presented at the Symposium.
Important Dates
- Paper submission deadline: May 17th, 2026
- Notification of acceptance: June 9th, 2026
- Early registration deadline: June 15th, 2026
- Scandinavian Logic Symposium 2026: August 21–23, 2026
Sponsorship by the Association for Symbolic Logic
NLSS 2026 and SLSS 2026 are sponsored by the ASL. This means that any student who wants to attend these events can apply for an ASL Student Travel Award, to partially cover their expenses. Please not that to do so, the student must be an ASL member and they must send their application to ASL by May 16th at the latest. For more information and to apply for an ASL award, please follow this link: