Logic List Mailing Archive

Tenth Scandinavian Logic Symposium

11-13 Jun 2018
Gothenburg, Sweden

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

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam