Registration is open for NLS and SLSS 2024!
Students can apply for accommodation! Limited space, priority to those attending multiple events!
SLSS 2024
Reykjavik Summer of Cool Logic 2024 (SCooL 2024), Reykjavik 10-21/6 2024
Twelfth Scandinavian Logic Symposium (SLSS 2024)
14–16 June 2024, Reykjavík, Iceland
The twelfth Scandinavian Logic Symposium (SLSS 2024) will be held at Reykjavik University, Iceland, during 14-16 June, 2024, under the auspices of the Scandinavian Logic Society. The previous four meetings of the SLSS were held in Bergen in Norway (2022), Gothenburg in Sweden (2018), Tampere in Finland (2014), and Roskilde in Denmark (2012).
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
Programme Committee
Co-chairs
Antonios Achilleos (Reykjavik University)
Dag Westerståhl (Stockholm University, Tsinghua University)
Members
Gaia Belardinelli (University of Copenhagen)
Jens Classen (Roskilde University)
Salvatore Florio (University of Oslo)
Juha Kontinen (University of Helsinki)
Vera Koponen (Uppsala University)
Maria Magdalena Ortiz de la Fuente (TU Wien)
Mina Young Pedersen (University of Bergen)
Esko Turunen (TU Wien)
Invited Speakers
Fausto Barbero (University of Helsinki)
Sara Negri (University of Genoa)
Aybüke Özgün (ILLC, University of Amsterdam)
Submissions
Abstracts of contributed talks, in PDF format, not exceeding two A4 (11pt) pages, should be submitted through EasyChair: https://easychair.org/conferences/?conf=slss2024.
Abstracts should be typeset following the format of a LaTeX class file SLS2014.cls, or in a similar format if you prefer to not use LaTeX.
Important dates
Submission deadline: April 7 April 12
Notification: April 30
Final programme: TBA
Conference: 14-16 June, 2024