11 - 13 June 2018, Tenth Scandinavian Logic Symposium (SLS 2018), Gothenburg, Sweden
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.
For more information, see scandiavianlogic dot org or contact sls2018 at flov.gu.se.
Abstracts of contributed talks must be submitted as pdf files via EasyChair. The abstracts should be prepared according to the ASL abstract guidelines.