[TYPES/announce] Tenth Scandinavian Logic Symposium 2018, 11-13 June 2018, Gothenburg, Sweden

[Bahareh Afshari]

Tenth Scandinavian Logic Symposium 2018:
* Second Announcement
* Update on invited speakers
* Lindström Lectures 2018
* Call for Registration


June 11-13, 2018, Gothenburg, Sweden
http://scandinavianlogic.org/sls2018

-----------------
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
https://flov.gu.se/english/research/research-areas/logic/lindstrom-lectures


IMPORTANT DATES
-----------------
New abstract deadline: April 8, 2018
Notification: April 20, 2018
Early registration deadline: May 1, 2018
Main event: June 11-13, 2018


INVITED SPEAKERS
-----------------
- Joel Hamkins (CUNY)
- Luke Ong (Oxford)
- Michael Rathjen (Leeds)
- Katrin Tent (Münster)


SUBMISSIONS OF CONTRIBUTED TALKS
-----------------
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.


REGISTRATION
-----------------
Registration is now open. See the conference website for details.


PROGRAMME AND ORGANISING COMMITTEE
-----------------
- Bahareh Afshari (co-chair)
- Rasmus Blanck
- Ali Enayat (co-chair)
- Fredrik Engström
- Martin Kaså
- Graham Leigh


ENQUIRIES
-----------------
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180319/a63ca174/attachment-0001.html>