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.
- Charlotte Kestner, Imperial College, London
- Salma Kuhlmann, University of Konstanz
- Heike Mildenberger, Albert-Ludwigs University of Freiburg
- Diana Caolina Montoya , Kurt Gödel Research Center, Vienna
- Carolin Antos-Kuby (Research Fellow/Dept. of Philosophy), University of Konstanz
- Vera Fischer, University of Vienna
- Margaret Thomas (Alumna/Dept. of Mathematics), McMaster University/University of Konstanz