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 |