Mini-Symposium in Mathematical Logic

Montag, 03. September 2018
14.00 – 17.00 Uhr

University of Graz


Salma Kuhlmann (University of Konstanz), Heike Mildenberger (University of Freiburg), Diana Caolina Montoya (Kurt Gödel Research Center), Charlotte Kestner (Imperial College, London)

To get updates and more information, please visit the page of the mini-symposium.

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.


Contributing Speakers


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