SLSS 2020/2022: Eleventh Scandinavian Logic Symposium University of Bergen Bergen, Norway, June 17-19, 2022 |
Conference website | https://scandinavianlogic2020.w.uib.no/eleventh-scandinavian-logic-symposium-slss-2020/ |
Submission link | https://easychair.org/conferences/?conf=slss2020 |
Abstract registration deadline | April 1, 2022 |
Submission deadline | April 1, 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
*** Invited speakers
To be announced
*** Programme committee
Co-chairs: Åsa Hirvonen (Helsinki) and Fernando Velázquez-Quesada (Bergen)
Members:
*** Organising committee
*** 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.