Tenth Scandinavian Logic Symposium 2018

Tenth Scandinavian Logic Symposium 2018:
First Announcement and Call for Submissions
June 11-13, 2018, Gothenburg, Sweden


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.



Main event: June 11-13, 2018
Abstract deadline: April 1, 2018
Notification: April 20, 2018
Deadline for ASL student travel grants: March 10, 2018



– Joel Hamkins (CUNY)
– Luke Ong (Oxford)
– Michael Rathjen (Leeds)


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.


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



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


– Bahareh Afshari (co-chair)
– Ali Enayat (co-chair)
– Fredrik Engström
– Martin Kaså
– Graham Leigh


For enquiries please email: sls2018 at flov.gu.se


Association for Symbolic Logic
Wenner-Gren Stiftelserna


Ph.D. position in Münster

The Institute for Mathematical Logic and Foundations at the University of Münster announces a position as wissenschaftliche Mitarbeiterin/wissenschaftlicher Mitarbeiter in a project on set theory to do a Ph.D. with Prof. Ralf Schindler beginning October 01, 2018 for three years with a possible extension. Pease see here for more information. If you are interested, then please contact Ralf Schindler at  rds@wwu.de.

Cofund : MathinParis

The international Doctoral Training in Mathematical Sciences in Paris – MathInParis – Cofunded by Marie Sklodowska-Curie Actions offers 40 PhD fellowships within the framework of the European Horizon 2020 program “Marie Sklodowska-Curie Co-funding of Regional, National and International Programmes”.

This project has received funding from the European Uninion’s Seventh Framework Programme for research, technological development and demonstration under grant agreement n°754362

The main features of the program is to enhance the potential and future career perspective of young researchers by offering :

1- an extremely attractive place in FSMP network for international brilliant students planning to prepare a PhD in mathematics
2- a strengthened advising
3- a broadened support for career development


1. Paris is indeed the city with the highest concentration of professional researchers and one of the main nodes of international research with tremendous scientific opportunities both in academic and industrial framework. FSMP is the largest network of mathematical institutions in the world, gathering all thematics in applied and fundamental mathematics as well as theoretical computer science in interaction with other sciences. In this very stimulating inter-disciplinary environment FSMP has a strong partnership with industries and support joint PhD fellows.

2. MathsinParis students follow the doctoral training research, participate to laboratory and thematic seminars following the PhD thesis topic decided with their advisor*, they are followed by a tutor** who has an external vision of the thesis progress and a external advisor*** who organize a mandatory 2/3 months abroad internship. In addition FSMP support various activities as presentation of scientific progress in a « Restitution day » or the participation at least one research school for year.

3. MathInParis Doctoral program structures also a wide range of non research oriented activities as training session for professional insertion with help of Adoc Talent Management and attending specific day as MathInParis Conference (Journée carrière des mathématiques) or Maths Jobs Forum.

The FSMP team guarantees a dedicated assistance for visa issues, housing, health, banking, etc. Furthermore, fellows will be affiliated to the French Social Security during the stay.


For more information please visit Cofund MathinParis website.

Candidates interested in doing a PhD in mathematical logic and set theory are encouraged to contact Boban Velickovic.

Postdoctoral position in Singapore

The department of mathematics of the National University of Singapore (NUS) invites applications for a postdoctoral position in set theory and logic which will start in July 2018.

The logic group at NUS consists of 4 faculty members and a varying number of postdoctoral fellows working in set theory and recursion theory. The department of mathematics has about 60 faculty members whose expertise cover major areas of mathematical research. NUS is a leading global university centered in Asia which offers an environment conducive to active research. Salary and remuneration are internationally competitive.

Applicants should have a PhD degree in mathematics at the time of starting the job, and the focus of their research should be in set theory and logic, or closely related areas.
The duration of the position is for two years.
The selected applicant is expected to start on or after July 1, 2018. The exact starting date is negotiable.
The position carries no teaching load. However optional teaching opportunities are provided.

A complete application consists of the following:

– cover letter;

– CV and list of publications;

– Three reference letters (to be sent directly by the letter writers)

These materials are to be emailed to the address matrd@nus.edu.sg. Applicants should also arrange for three recommendation letters to be sent directly to the address matrd@nus.edu.sg.

Applications are accepted until the position is filled.

First Girona inner model theory conference

The first Girona inner model theory conference (https://ivv5hpp.uni-muenster.de/u/rds/girona_meeting_2018.html) will take place on July 16-27 at the Philosophy Department of the University of Girona, Catalonia.

The conference is a sequel to previous conferences on inner model theory in Münster, Palo Alto, Berkeley and Irvine. Once more, the meeting will draw together researchers and advanced students with an interest in inner model theory, in order to communicate and further explore recent work. There will be courses and single talks Monday-Friday, with 2 1/2 hours of lectures in the morning and 2 1/2 hours of lectures in the afternoon. This will leave ample time for problem sessions, informal seminars, and other interactions.

The conference is organized by Ralf Schindler (Münster), John Steel (Berkeley) and Joan Vergés (Girona). Please contact Ralf Schindler (rds@wwu.de) if you intend to participate.

Registration for 11th Young Set Theory Workshop

Dear all,

We are happy to announce that *registration is open* for the *11th Young Set Theory Workshop* <http://youngsettheory2018.altervista.org> which will take place *June 25-29 2018*, at the *Bernoulli Centre* <https://bernoulli.epfl.ch/> in *Lausanne, *Switzerland.

The number of participants is *limited to* *65*, due to our hosting institution’s capacity. Registrations close either after reaching 65 applications or on the *31st of March*. Once we reach the maximum of applications a waiting list will be set up in case some openings become available.

No registration fee is required. We ask the participants to arrange and cover the expenses for the travel and accommodation relative to their stay. Financial aid for travel and accommodation expenses may be available for selected participants, depending on availability of funding.

The aims of the Young Set Theory workshops are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

This year’s Young Set Theory workshop will take place at the end of the *Descriptive set theory and Polish groups semester <https://bernoulli.epfl.ch/semesters/32/show>*. While the organization of the workshop is independent of that of the semester, we hope the proximity will promote attendance of young researchers from extra-European countries.

Ilijas Farah (York University)
Assaf Rinot (Bar-Ilan University)
Christian Rosendal (University of Illinois at Chicago)
Dima Sinapova (University of Illinois at Chicago)

Hazel Brickhill (University of Kobe)
Diana Carolina Montoya (Kurt Gödel Research Center)
Gianluca Paolini (Hebrew University of Jerusalem)
Yann Pequignot (University of California, Los Angeles)

Gerhard Jäger (Universität Bern)
Lorenz Halbeisen (ETH Zürich)

To register or for more information, visit the conference website: http://

Hope to see you in June,
Gianluca Basso, Jacques Duparc, Silvia Steila, and Louis Vuilleumier