The Scandinavian Logic Society, abbreviated as SLS, is a not-for-profit organization with objective to organize, promote, and support logic-related events and other activities of relevance for the development of logic-related research and education in the Nordic Region of Europe. The society is a member of the Division of Logic, Methodology and Philosophy of Science and Technology.

History

The SLS was founded on 20 August 2012, at the 8th Scandinavian Logic Symposium in

Roskilde Roskilde ( , ) is a city west of Copenhagen on the Danish island of Zealand. With a population of 51,916 (), the city is a business and educational centre for the region and the 10th largest city in Denmark. It is governed by the administrative ...

, Denmark. Today the society has its seat in Stockholm, Sweden. It unites academics from

Denmark ) , song = ( en, "King Christian stood by the lofty mast") , song_type = National and royal anthem , image_map = EU-Denmark.svg , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of Denmark , establishe ...

Finland Finland ( fi, Suomi ; sv, Finland ), officially the Republic of Finland (; ), is a Nordic country in Northern Europe. It shares land borders with Sweden to the northwest, Norway to the north, and Russia to the east, with the Gulf of Bo ...

Iceland Iceland ( is, Ísland; ) is a Nordic island country in the North Atlantic Ocean and in the Arctic Ocean. Iceland is the most sparsely populated country in Europe. Iceland's capital and largest city is Reykjavík, which (along with its ...

Norway Norway, officially the Kingdom of Norway, is a Nordic country in Northern Europe, the mainland territory of which comprises the western and northernmost portion of the Scandinavian Peninsula. The remote Arctic island of Jan Mayen and t ...

and Sweden working primarily on theory and applications of logic to

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

, philosophy, mathematics and

linguistics Linguistics is the scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure. Lingu ...

Presidents

The SLS is led by Executive Committee. The presidents of the SLS: * 2012-2017

Dag Normann Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is Professor emeritus at the University of Oslo. His research focuses on computability theory with an emphasis on mathematical models for typed algorithms and applications ...

* 2017–present

Valentin Goranko Valentin Feodorov Goranko (born 22 September 1959 in Sofia, Bulgaria) is a Bulgarian-Swedish logician, Professor of Logic and Theoretical Philosophy at the Department of Philosophy, Stockholm University. Education and academic career Goranko ...

Main activities

Scandinavian Logic Symposium (SLSS)

The Society organizes regular Scandinavian Logic Symposia (SLSS) every 2–4 years on a geographically rotating principle. The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia.

Past symposia

* 1968: 1st symposium in Åbo/Turku, Finland * 1971: 2nd symposium in Oslo, Norway * 1973: 3rd symposium in Uppsala, Sweden * 1976: 4th symposium in Jyväskylä, Finland * 1979: 5th symposium in Aalborg, Denmark * 1982: 6th symposium in Telemark, Norway * 1996: 7th symposium in Uppsala, Sweden * 2012: 8th symposium in Roskilde, Denmark * 2014: 9th symposium in Tampere, Finland * 2018: 10th symposium in Gothenburg, Sweden * 2022: 11th symposium in Bergen, Norway 11th symposium scheduled for 2020 in Bergen, Norway, was postponed for 2022 due to pandemic of COVID-19

Nordic Logic (Summer) School (NLS)

The Society organizes regular Nordic Logic Schools every 2–4 years. The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject.

Past schools

* 2013: 1st summer school in Nordfjordeid, Norway * 2015: 2nd summer school in Helsinki, Finland * 2017: 3rd summer school in Stockholm, Sweden * 2022: 4th summer school in Bergen, Norway 4th summer school scheduled for 2020 in Bergen, Norway, was postponed for 2022 due to pandemic of COVID-19

General meetings of the SLS

General meetings of the Society are held regularly during the ''Scandinavian Logic Symposium''.

Membership

Membership in the SLS is open to all interested persons who agree with and support the objectives of the Society.

References

{{reflist

External links

SLS official website

Icelandic Center of Excellence in Theoretical Computer Science (ICE-TCS)

Copenhagen Association for Dynamics, Interaction, Logic, Language and Computation (CADILLAC)

Bergen Logic Group

The Logic and Artificial Intelligence (LAI) group, Bergen University

CLLAM – Centre for Logic, Language, and Mind

The Stockholm Logic Seminar
Information technology organizations based in Europe Mathematical logic organizations Philosophical logic Philosophy organizations Organizations established in 2012 Organizations based in Sweden Logic organizations 2012 establishments in Sweden