[FOM] Tenth Scandinavian Logic Symposium 2018, 11-13 June 2018, Gothenburg, Sweden

[Graham Leigh]

[Apologies for multiple postings]


Tenth Scandinavian Logic Symposium 2018:

First Announcement and Call for Submissions


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.



IMPORTANT DATES

-----------------

Main event: June 11-13, 2018

Abstract deadline: April 1, 2018

Notification: April 20, 2018

Deadline for ASL student travel grants: March 10, 2018



INVITED SPEAKERS

-----------------

- Joel Hamkins (CUNY)

- Luke Ong (Oxford)

- Michael Rathjen (Leeds)

- TBA



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.



APPLICATIONS FOR STUDENT TRAVEL GRANTS

-----------------

The meeting is sponsored by the Association for Symbolic Logic (ASL) and student ASL members may apply for (limited) ASL travel funds. Applications should be submitted directly to ASL no later than March 10, 2018. Details for applications can be found at


http://www.aslonline.org/studenttravelawards.html



REGISTRATION

-----------------

Details concerning registration will be posted soon on the conference website.



PROGRAMME AND ORGANISING COMMITTEE

-----------------

- Bahareh Afshari (co-chair)

- 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

Wenner-Gren Stiftelserna

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180215/6e719204/attachment.html>