Akka

The Scandinavian Logic Society

SLSS 2022—third call for for abstracts (extended deadline)

Eleventh Scandinavian Logic Symposium (SLSS 2022)
University of Bergen, Norway, 17-19 June, 2022

Third call for abstracts (extended deadline).

Symposium website:
https://scandinavianlogic2020.w.uib.no/eleventh-scandinavian-logic-symposium-slss-2020/
Submission link:
https://easychair.org/conferences/?conf=slss2020
Submission deadline (extended): Friday 1st 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)

*** 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 (available from https://www.sis.uta.fi/SLS2014/SLS2014.cls) and template, or in a similar format if you prefer to not use LaTeX.

*** Important dates

Submission deadline (extended): Friday 1st April, 2022.
Notification: 28 April, 2022.
Final programme: 13 May, 2022.
Conference: 17-19 June, 2022.

*** Invited speakers

*** Programme committee

Co-chairs: Åsa Hirvonen (Helsinki) and Fernando Velázquez-Quesada (Bergen)

Members:
Thierry Coquand (Gothenburg)
Nina Gierasimczuk (DTU)
Lauri Hella (Tampere)
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.