17-19 Jun 2022
Bergen, Norway
Eleventh Scandinavian Logic Symposium (SLSS 2022) University of Bergen, Norway, 17-19 June, 2022 First call for abstracts. Submission link: https://easychair.org/conferences/?conf=slss2020 Submission deadline: Friday 18 March, 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 (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: Friday 18 March, 2022. Notification: 28 April, 2022. Final programme: 13 May, 2022. Conference: 17-19 June, 2022. *** Invited speakers To be announced *** 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<http://uib.no>. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam