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).


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

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.

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* <> which will take place *June 25-29 2018*, at the *Bernoulli Centre* <> 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 <>*. 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

Descriptive set theory and Polish groups, Lausanne

Dear Colleagues,

The CIB is pleased to announce the semester Descriptive set theory and Polish groups organized by professors Justin Moore, Cornell University, Christian Rosendal, University of Illinois at Chicago and Todor Tsankov, Université Paris Diderot and taking place until 30 June at the CIB-EPF Lausanne, Switzerland.

All the details and updated information are available on

With best wishes,

Rana Gherzeddine