KNAW Academy Colloquium on Generalised Baire Spaces, Amsterdam

KNAW Academy Colloquium
Generalised Baire Spaces
Koninklijke Nederlandse Akademie van Wetenschappen
Royal Dutch Academy of Arts and Sciences
Amsterdam, The Netherlands
Master Class: 22 August 2018 / Colloquium: 23-24 August 2018

Participation in this event is strictly limited to participants who have been invited by the Royal Academy. There is a limited number of invitation slots remaining. Researchers interested in participating in the event should contact the organisers (see below) and ask for an invitation to participate. Invitations do not come with any funding.

Speakers at the Master Class: Andreas Blass, Andrew Brooke-Taylor, Philipp Schlicht, and Jouko Vaananen.

Invited speakers at the Colloquium: David Aspero, Vera Fischer, Radek Honzik, Tapani Hyttinen, Yurii Khomskii, Giorgio Laguzzi, Diana Carolina Montoya, Luca Motto Ros, Dima Sinapova.

Short presentations by: Thomas Baumhauer, Filippo Calderoni, Vincenzo Dimonte, Peter Holy, Daisuke Ikegami, Marlene Koelbing, Vadim Kulikov, Sandra Mueller, David Schrittesser, Sarka Stejskalova, Dorottya Sziraki, Wolfgang Wohofsky, and Liuzhen Wu.

Organisers. Lorenzo Galeotti, Benedikt Loewe, Philipp Luecke. Send e-mail to bloewe (at) science (dot) uva (dot) nl.

Description of the event. Descriptive set theory and set theory of the reals traditional deal with well-known and well-studied topological spaces such as the real numbers, Cantor space, and Baire space. In recent years, set theorists are increasingly interested in the uncountable analogues 2^kappa of the Cantor space (generalised Cantor space) and kappa^kappa of the Baire space (generalised Baire space) for uncountable cardinals kappa.

While many concepts from the classical setting can be transferred to generalised Baire space and some classical results remain true at uncountable cardinals, in general the rich combinatorial nature of uncountable cardinals causes the theory of the corresponding spaces to differ significantly, e.g., notions which are equivalent in the classical setting can lead to different notions in the generalised theory. Phenomena like this shed light on structures and properties otherwise hidden in the classical setting.

The study of generalised Baire spaces has developed into a research area in its own right with a rich overarching theory, internally motivated open questions (cf. Khomskii, Laguzzi, Loewe, Sharankou 2016) and an active research community, combining methods and techniques from several branches of set theory like uncountable combinatorics, forcing, large cardinals, inner models and classical descriptive set theory and also involves techniques from classical model theory. The community met first at the Amsterdam Set Theory Workshop 2014 in November 2014, then at a satellite workshop to the German mathematics congress in Hamburg in September 2015, and finally at a workshop at the Hausdorff Center for Mathematics in Bonn in September 2016. This Academy Colloquium is a reunion of the community after a hiatus of two years.

The Colloquium will be preceded by an associated KNAW Master Class for postgraduate students in order to prepare them for the talks at the Colloquium. The KNAW Master Class will take place on 22 August 2018.

The Colloquium is generously funded by the Koninglijke Nederlandse Academie van Wetenschappen, the Institute for Logic, Language and Computation of the Universiteit van Amsterdam, and the research project REGPROP at the Universitaet Hamburg (funded by the European Commission, grant number 706219).


Rolf Schock Prize 2018 awarded to Saharon Shelah

The Royal Swedish Academy of Sciences, the Royal Academy of Fine Arts and the Royal Swedish Academy of Music have awarded this year’s Rolf Schock Prizes to four outstanding individuals.

More information can be found on the announcement of the award on the website of the Royal Swedish Academy of Sciences. The following is an excerpt.

Saharon Shelah, Hebrew University of Jerusalem, Israel, is rewarded with the 2018 Rolf Schock Prize in Logic and Philosophy,

“for his outstanding contributions to mathematical logic, in particular to model theory, in which his classification of theories in terms of so-called stability properties has fundamentally transformed the field of research of this discipline.”

Saharon Shelah has made fundamental contributions to mathematical logic, particularly in model theory and set theory. In model theory, Shelah developed classification theory, concerning the classification of first-order theories in terms of properties of their classes of models. The classes of models of so-called stable theories have structural properties that can be characterised in geometrical terms, while the class of models of an “unstable” theory lacks structure. Most of contemporary research in model theory builds on Shelah’s work. Shelah has also made decisive contributions to set theory, including the development of a new variety of the forcing method and remarkable results in cardinal arithmetic, and he has solved deep problems in other areas, such as algebra, algebraic geometry, topology, combinatorics, computer science, and social choice theory.  Shelah has had, and still has, an indisputable and exceptional position in mathematical logic, particularly in model theory. He is almost unbelievably productive, with seven books and more than 1100 articles to date.

Mini-Symposium on Mathematical Logic, Graz

Mini-Symposium on Mathematical Logic
September 3, 2018
at the 18th European Women in Mathematics General Meeting
September 3-7 2018
University of Graz, Austria

Announcement and Call for Papers

The General Meeting of the EWM focuses on female mathematicians and
their achievements. As part of this event, the Mini-Symposium on
Mathematical Logic concentrates on recent results that demonstrate
the fruitfulness of working at the interface between different parts
of logic — that is, model theory, set theory, recursion (or
computability) theory and proof theory — or between logic and other
areas of mathematics. Our speakers therefore come from different
fields of mathematical logic and are interested in cross-connections
between their fields and areas of application such as topology,
group theory, real geometry and combinatorics. For the general
audience we are planning an introductory lecture on recent
developments in model theory and its applications to real geometry.

We invite female researchers to apply for very short contributed
talks (10-12 minutes) at the Mini-Symposium. Also, application is
now open for travel support for graduate students to participate in
the Mini-Symposium. Applications should be submitted by March 15th
2018 to receive full consideration. For more information, please
see: <> [1]

We also encourage female researchers to contribute posters to a
thematic grouping on Mathematical Logic as part of the EWM’s poster
session; please see <>

Mini-Symposium invited speakers:
Laura Fontanella (Université Aix Marseille)
Charlotte Kestner (Imperial College, London)
Salma Kuhlmann (University of Konstanz)
Heike Mildenberger (Albert-Ludwigs University of Freiburg)
Diana Carolina Montoya (Kurt Gödel Research Center, Vienna)

Organisers of the Mini-Symposium:
Carolin Antos (University of Konstanz)
Vera Fischer (University of Vienna)
Margaret Thomas (McMaster University/University of Konstanz)

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