SLS2018: Scandinavian Logic Symposium 2018 University of Gothenburg Gothenburg, Sweden, June 11-13, 2018 |
Conference website | http://scandinavianlogic.org/events |
Submission link | https://easychair.org/conferences/?conf=sls2018 |
The Tenth Scandinavian Logic Symposium (SLS 2018)
The Tenth Scandinavian Logic Symposium (SLS 2018) will be held at the University of Gothenburg, Sweden during June 11-13, 2018, under the auspices of the Scandinavian Logic Society. The previous two meetings of the SLS were held in Tampere, Finland (2014) and Roskilde, 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 participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.
The scope of this event covers mathematical, computational, and philosophical logic. The major topics include (but are not limited to) the areas of Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Axiomatic Theories of Truth, and Philosophical Logic.
We are proud to announce that the 2018 Lindström Lectures will be a part of SLS 2018 and delivered by Michael Rathjen. For more information see Lindström lectures webpage
Important dates
- Abstract deadline:
April 1, 2018Extended to: April 8, 2018. - Notification: April 20, 2018
- Early registration deadline: May 1, 2018
- Main event: June 11-13, 2018
Content
- Programme
- Registration
- Submit an abstract
- Conference dinner
- Information and venue
- Organization and sponsors
Programme
The programme will be announced in due course.
Invited speakers
- Joel Hamkins (CUNY)
- Luke Ong (Oxford)
- Michael Rathjen (Leeds)
- Katrin Tent (Münster)
Registration
To register please use the registration form. Please note that if a Swedish university is paying the registration fee you should not pay the VAT.
After you have registered you need to pay through the payment site. Please use the exact same name when paying as you used to register.
Registration fee
- Regular fee (incl. VAT). 600 SEK
- Regular fee (excl. VAT). 480 SEK
- Student fee (incl. VAT). 400 SEK
- Student fee (excl. VAT). 320 SEK
- Late fee. Please contact the organisers.
Submit an abstract
Abstracts of contributed talks must be submitted as pdf files via EasyChair:
https://easychair.org/conferences/?conf=sls2018
The abstracts should be prepared according to the ASL abstract guidelines:
http://www.aslonline.org/rules_abstracts.html
Upon notification of acceptance, authors will be requested to submit the LaTeX source files.
Conference dinner
The dinner will be held at Villa Belparc located in the beautiful park Slottskogen right by the Botanical Gardens.
- Dinner fee (incl. VAT). 700 SEK
- Dinner fee (excl. VAT). 600 SEK
Information and venue
The conference will be held at Eklandagatan 86, once the home of the Maths department and now housing the Department of History.
It's located close to Chalmers Johanneberg campus and a short bus trip (or a 20 minute walk) from Korsvägen - the first stop of the airport coaches.
We recommend the nearby located Quality Hotel Panorama.
Organization and sponsors
Programme and organizing committee
- Bahareh Afshari (co-chair)
- Rasmus Blanck
- Ali Enayat (co-chair)
- Fredrik Engström
- Martin Kaså
- Graham Leigh
For enquiries please email: sls2018 at flov.gu.se
Sponsors
- Association for Symbolic Logic
- Department of Philosophy, Linguistics and Theory of Science
(University of Gothenburg) - Knut and Alice Wallenberg Foundation
- Wenner-Gren Stiftelserna