Logic List Mailing Archive

CfP: SLSS 2026 – Scandinavian Logic Society Events,17-20 and 21–23 August 2026, Copenhagen (Denmark)

Joint Call for the Scandinavian Logic Society Events:
Nordic Logic Summer School (17-20 August 2026)
Scandinavian Logic Society Symposium (21-23 August 2026)
Copenhagen, Denmark
Website: https://slss2026.compute.dtu.dk

In 2026, the Scandinavian Logic Society Symposium (SLSS 2026) and Nordic
Logic School (NLSS 2026) organised under the auspices of the Scandinavian
Logic Society will take place in Copenhagen!
?????????????????????????????????
Call for Abstracts ? Thirteenth Scandinavian Logic Symposium (SLSS 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.

Call for Abstracts: 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 and Learning
Logic in AI and Multi-Agent Systems
Logic and Linguistics
Philosophical Logic
Philosophy of Logic, Mathematics and Computation

Submissions Abstracts of contributed talks, in PDF format, not exceeding
two A4 (11pt font) pages, should be submitted through EasyChair:
https://easychair.org/conferences/?conf=sls2026
by 17 May 2026 (AoE).

Important dates:
Abstract submission deadline: 17 May 2026
Notification of acceptance: 9 June 2026
Early registration deadline: 15 June 2026
SLSS 2026: 21?23 August 2026

Confirmed Invited Speakers:
Salvatore Florio (Oslo, Norway)
Vera Koponen (Uppsala, Sweden)
Magdalena Ortiz (TU Wien, Austria)
Carsten Sch?rmann (ITU, Denmark)

Programme Committee
Thomas Bolander, Technical University of Denmark
Aggeliki Chalki, Reykjavik University
Laura Crosilla, University of Florence
Nina Gierasimczuk, Technical University of Denmark
Juha Kontinen (co-chair), University of Helsinki
Antti Kuusisto, Tampere University
Peter LeFanu Lumsdaine, Stockholm University
Graham Leigh (co-chair), University of Gothenburg
Ana Ozaki, University of Oslo
Niccol? Veltri, Tallinn University of Technology
Thomas ?gotnes, University of Bergen

?????????????????????????????????
Call for Participation ? Sixth Nordic Logic Summer School (NLSS 2026)

We invite everyone interested in logic and its interface with philosophy,
mathematics, computer science, and AI to participate in the Summer School.
The intended audience for NLSS is advanced master students, PhD-students,
post-docs and experienced researchers wishing to learn the state of the art
in a particular subject. As usual, this year we have an exciting lineup of
five lecturers on a wide spectrum of topics.

Confirmed NLSS 2026 Lecturers:
Bahareh Afshari (University of Gothenburg, Sweden)
Patrik Blackburn (Roskilde University, Denmark)
Gaia Belardinelli (Stanford University, USA)
Balder ten Cate (University of Amsterdam, The Netherlands)

? and one more TBA

Important dates:
Early registration deadline: 1 July 2026
NLSS 2026: 17?20 August 2026

Programme Committee:
Ali Enayat, University of Gothenburg
Thomas Bolander (co-chair), Technical University of Denmark
?ystein Linnebo (co-chair), University of Oslo
Sara Negri, University of Genoa
Sonja Smets, University of Amsterdam

??????????????????????????????????
Sponsorship by the Association for Symbolic Logic

Both 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 note that to do so,
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php