This Mini-Symposium is part of the 18th General Meeting of the European Women in Mathematics, to be held at the University of Graz, September 3-7 2018 (Organisers: Karin Baur (Universität Graz), Kathryn Hess (EPFL), Elena Resmerita (Alpen-Adria Universität, Klagenfurt), Carola-Bibiane Schönlieb (University of Cambridge), Susanna Terracini (Università di Torino)).

The session will focus 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.


14/03/2018: The deadline to apply for financial support (for graduate students) or to give a contributed talk has been extended until March 23rd 2018. Please see here for further details on how to apply for either (or both!) of these.

27/02/2018: The organizers of the EWM General Meeting have informed us that the Mini-Symposium will take place as part of the EWM programme on Monday, 3rd September, 2018. See full schedule of the EWM GM here (we are Mini-Symposium (6)).

01/02/2018: The Wolfgang Pauli Institute, Vienna, co-funds the mini-symposium in the frame of the WPI thematic programme on "Logic, Data, Advanced Information systems".

28/01/2018: Thanks to the generosity of the ASL (Association for Symbolic Logic), funding is available to support graduate student participation in the Mini-Symposium. More information about the application procedure is available here.

Mini-Symposium Organisers

Carolin Antos-Kuby (University of Konstanz)
Vera Fischer (University of Vienna)
Margaret Thomas (McMaster University/University of Konstanz)


Financing for this Mini-Symposium comes from the Zukunftskolleg, University of Konstanz, the Association for Symbolic Logic, and the Wolfgang Pauli Institite, Vienna.

Last update: