Scandinavian Logic Symposium 2014
Museum Centre Vapriikki in Tampere, 25-27 August 2014
Scope and topics
The scope of SLS 2014 is broad, ranging over the whole areas of
Mathematical and Philosophical Logic, as well as Logical Methods in
Computer Science, Artificial Intelligence, Linguistics, etc. Major
topics include (but are not limited to):
- 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,
- Philosophical Logic.