Conference on Mathematical Logic (Satellite of the ICM), Niteroi, Brazil

Conference on Mathematical Logic
(Satellite Conference of the ICM 2018)
Niteroi, Brazil, 10-11 August 2018

C A L L   F O R   A B S T R A C T   S U B M I S S I O N S

It is our pleasure to announce that the Sociedade Brasileira de Logica (SBL) and the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical Logic, as a satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018.

Invited speakers include Matthias Aschenbrenner, Veronica Becher, Valeria de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco Miraglia, Lou van den Dries and Joris Van Der Hoeven.

The organisers invite all researchers in mathematical logic to submit abstracts of their research for presentation at the conference. Please submit your abstract by the deadline of

1 April 2018

via our easychair website

ASL student travel awards. One of our sponsoring institutions, the Association for Symbolic Logic is offering modest travel awards to graduate students in logic to attend our conference. The deadline for applications is 10 May 2018. Details can be found on our website.

We encourage everyone who is interested in this logic satellite to also submit an abstract for presentation at the International Congress of Mathematicians and we remind you that the deadline for abstract submissions to ICM 2018 is 5 March 2018: further details can be found at

We are looking forward to meeting you soon in Brazil.

Scientific & Organising Committee. Christina Brech (Sao Paulo, Brazil), Samuel Gomes da Silva (Bahia, Brazil), Edward Hermann Haeusler (Rio de Janeiro, Brazil), Denis Hirschfeldt (Chicago IL, U.S.A.), Fairouz Kamareddine (Edinburgh, Scotland), Bruno Lopes (Niteroi, Brazil), Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany), Hugo Nobrega (Amsterdam, The Netherlands).


* Association for Symbolic Logic.
* Associazione Italiana di Logica e sue Applicazioni
* Division for Logic, Methodology and Philosophy of Science & Technology
* De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen


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:

The abstracts should be prepared according to the ASL abstract guidelines:

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


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

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 Applicants should also arrange for three recommendation letters to be sent directly to the address

Applications are accepted until the position is filled.

First Girona inner model theory conference

The first Girona inner model theory conference ( 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 ( if you intend to participate.