Scandinavian Logic Symposium 2022
University of Bergen, Norway, June 17-19, 2022
Submission link: https://easychair.org/conferences/?conf=slss2020
Submission deadline: Friday 18 March, 2022 Friday 1 April, 2022
The eleventh Scandinavian Logic Symposium (SLSS 2022) will be held at the University of Bergen, Norway, during 17-19 June, 2022, under the auspices of the Scandinavian Logic Society. The previous three meetings of the SLSS were held in 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.
SLSS 2022 is being planned as a physical-attendance event. Still, we keep monitoring the COVID-19 pandemic situation, to make adjustments if they are needed.
*** 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
*** Submissions
Abstracts of contributed talks, in PDF format, not exceeding two A4 (11pt) pages, should be submitted through EasyChair: https://easychair.org/conferences/?conf=slss2020
Abstracts should be typeset following the format of a LaTeX class file SLS2014.cls and template, or in a similar format if you prefer to not use LaTeX.
*** Important dates
Submission deadline:Friday 18 March, 2022 Friday 1 April, 2022
Notification: 28 April, 2022
Final programme: 13 May, 2022
Conference: 17-19 June, 2022
*** Invited speakers
Yde Venema (Institute for Logic, Language and Computation, Universiteit van Amsterdam)
*** Programme committee
Co-chairs: Åsa Hirvonen (Helsinki) and Fernando Velázquez-Quesada (Bergen)
Members:
Thierry Coquand (Gothenburg)
Lauri Hella (Tampere)
Nina Gierasimczuk (DTU)
Lars Kristiansen (Oslo)
Asger Törnquist (Copenhagen)
Michal Walicki (Bergen)
Fan Yang (Helsinki)
Thomas Ågotnes (Bergen)
*** Organising committee
Rustam Galimullin
Truls Pedersen
Mina Young Pedersen
Marija Slavkovik
Fernando Velázquez-Quesada
Thomas Ågotnes
*** Location
SLSS 2022 will take place at the University of Bergen, located in the center of Bergen in Norway.
SLSS 2022 is collocated with the Nordic Logic Summer School, which takes place on 13-16 June, 2022.
*** Registration
TBA
*** Contact
All questions regarding the symposium should be emailed to slss (at) uib.no.