Universiteit van Amsterdam


Institute for Logic, Language and Computation

10 - 11 August 2018, ICM 2018 Satellite Conference on Mathematical Logic, Niteroi, Brazil

Date: 10 - 11 August 2018
Location: Niteroi, Brazil
Deadline: Sunday 1 April 2018

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 via our easychair website.