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.[1]
 | |
| Abbreviation | SLS |
|---|---|
| Formation | 2012 |
| Headquarters | Stockholm, Sweden |
| Fields | logic, computer science, philosophy, mathematics, linguistics |
President | Valentin Goranko |
| Website | scandinavianlogic |
The society is a member of the Division of Logic, Methodology and Philosophy of Science and Technology.
History edit
The SLS was founded on 20 August 2012, at the 8th Scandinavian Logic Symposium in Roskilde, Denmark. Today the society has its seat in Stockholm, Sweden. It unites academics from Denmark, Finland, Iceland, Norway and Sweden working primarily on theory and applications of logic to computer science, philosophy, mathematics and linguistics.
Presidents edit
The SLS is led by Executive Committee.
The presidents of the SLS:
- 2012-2017 Dag Normann
- 2017–present Valentin Goranko
Main activities edit
edit
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 edit
- 1968: 1st symposium in Åbo/Turku, Finland[2]
- 1971: 2nd symposium in Oslo, Norway[3]
- 1973: 3rd symposium in Uppsala, Sweden[4]
- 1976: 4th symposium in Jyväskylä, Finland[5]
- 1979: 5th symposium in Aalborg, Denmark[6]
- 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[7]
11th symposium scheduled for 2020 in Bergen, Norway, was postponed for 2022 due to pandemic of COVID-19
Nordic Logic (Summer) School (NLS) edit
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 edit
- 2013: 1st summer school in Nordfjordeid, Norway
- 2015: 2nd summer school in Helsinki, Finland
- 2017: 3rd summer school in Stockholm, Sweden[8]
- 2022: 4th summer school in Bergen, Norway[7]
4th summer school scheduled for 2020 in Bergen, Norway, was postponed for 2022 due to pandemic of COVID-19
General meetings of the SLS edit
General meetings of the Society are held regularly during the Scandinavian Logic Symposium.
Membership edit
Membership in the SLS is open to all interested persons who agree with and support the objectives of the Society.
See also edit
References edit
- ^ "Dmatheorynet blogspot". Retrieved 21 November 2020.
- ^ Proceedings of the 1st Scandinavian Logic Symposium. Uppsala, Filosofiska Föreningen och Filosofiska Institutionen vid Uppsala Universitet. 1970.
- ^ Fenstad, J. E., ed. (1971). Proceedings of the Second Scandinavian Logic Symposium (Volume 63, Studies in Logic and the Foundations of Mathematics). North-Holland Publishing Company.
- ^ Kanger, Stig, ed. (1975). Proceedings of the third Scandinavian Logic Symposium. Amsterdam: North-Holland Publishing Company.
- ^ Hintikka, ed. (1979). Essays on mathematical and philosophical logic : proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyvaskyla, Finland, June 29-July 6, 1976. D. Reidel. ISBN 9027708797.
- ^ Jensen, Finn V., ed. (1979). Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979. Institut for Elektroniske Systemer : distribueret af Aalborg Universitetsforlag. ISBN 8773070378.
- ^ a b "Bergen Logic Events 2022". Retrieved 24 November 2020.
- ^ "The third Nordic Logic Summer School". Retrieved 24 November 2020.
External links edit
- 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
- The Skolem Lecture
- CLLAM – Centre for Logic, Language, and Mind
- The Stockholm Logic Seminar