# The Friday Seminar

In the recently established **KGRC Friday Seminar** researchers from other areas of
Mathematics and from Physics give talks at the KGRC directed towards a logic
audience, to facilitate interdisciplinary dialogue and to find new connections
between Mathematical Logic and these fields.

Date | Speaker | Title | |
---|---|---|---|

2019‑05‑24 | Johan Comparat(Max Planck Institute for extraterrestrial Physics (MPE/MPG), Bavaria, Germany) | Mapping the Universe | |

2019‑03‑15 | Thomas Forster(Queens' College and DPMMS, Cambridge, UK) | Synonymy, Stratification and the Universal Set | |

2018‑11‑09 | Tim Button(University of Cambridge, UK) | Loving the universe | |

2018‑06‑29 | Christopher Menzel(Texas A&M University, USA) | Radically Type-free Logic, or Has First-order Logic Rested on a (or Maybe Several) Metaphysical Mistake(s)? | |

2018‑05‑04 | Jérémie Joudioux(Radboud University Nijmegen, Netherlands) | Introduction to the Einstein equations as an evolution problem | |

2018‑03‑16 | Alexander Paseau(Wadham College, Oxford, UK) | Which cardinality quantifiers are logical? | |

2017‑12‑01 | Daniel Waxman(Corpus Christi College, Oxford, UK) | Did Gentzen Prove the Consistency of Arithmetic? | |

2017‑06‑02 | Chris Scambler(New York University, USA) | On Ineffable Liars | |

2017‑05‑05 | Sam Roberts(University of Oslo, Norway) | The iterative conception of properties and comprehension | |

2017‑03‑31 | Luca Incurvati(University of Amsterdam, North Holland, Netherlands) | Metalogic and the Overgeneration Argument | |

2016‑11‑25 | Zeynep Soysal(Harvard University, Cambridge, Massachusetts, USA) | Unfolding the Content of the Concept of Set | |

2014‑12‑19 | Neil Barton(University of London, UK) | What is a forcing extension (of V)? | |

2014‑03‑28 | Michael Potter(Fitzwilliam College, University of Cambridge, UK) | Arguments for the Axiom of Replacement | |

2013‑11‑22 | Giorgio Venturi(Scuola Normale Superiore di Pisa, Italy) | Forcing Axioms and the foundations of mathematics | |

2012‑11‑30 | Ivona Brandic(Distributed Systems Group, Information Systems Institute, TU Wien, Austria) | Cloud Computing: Reducing Energy Consumption while Improving Bioinformatics? | |

2012‑04‑20 | Goulnara Arzhantseva(Mathematics, University of Vienna, Austria) | On the limits in the space of marked groups | |

2012‑03‑02 | Monika Henzinger(Faculty of computer science, University of Vienna, Austria) | The assignment problem with piece-wise linear utility functions or how web search engines make money | |

2012‑01‑13 | Robert Tichy(Institut für Analysis und Computational Number Theory, TU Graz, Austria) | Effectivity and Ineffectivity in Number Theory | |

2011‑05‑27 | Klaus Schmidt(Department of Mathematics, University of Vienna, Austria, and Erwin Schrödinger Institute, Austria) | On some of the differences between Z and Z^2 in dynamics | |

2011‑04‑08 | Caslav Brukner(Faculty of Physics, University of Vienna, Austria, and University of Belgrade, Serbia) | Bell's theorem: Classical versus quantum probability | |

2011‑04‑01 | Ludmil Katzarkov(Department of Mathematics, University of Vienna, Austria) | Fundamental Groups |