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.

2019‑05‑24Johan Comparat
(Max Planck Institute for extraterrestrial Physics (MPE/MPG), Bavaria, Germany)
Mapping the Universe 
2019‑03‑15Thomas Forster
(Queens' College and DPMMS, Cambridge, UK)
Synonymy, Stratification and the Universal Set 
2018‑11‑09Tim Button
(University of Cambridge, UK)
Loving the universeTim Button
2018‑06‑29Christopher Menzel
(Texas A&M University, USA)
Radically Type-free Logic, or Has First-order Logic Rested on a (or Maybe Several) Metaphysical Mistake(s)?Christopher Menzel
2018‑05‑04Jérémie Joudioux
(Radboud University Nijmegen, Netherlands)
Introduction to the Einstein equations as an evolution problemJérémie Joudioux
2018‑03‑16Alexander Paseau
(Wadham College, Oxford, UK)
Which cardinality quantifiers are logical?Alexander Paseau
2017‑12‑01Daniel Waxman
(Corpus Christi College, Oxford, UK)
Did Gentzen Prove the Consistency of Arithmetic?Daniel Waxman
2017‑06‑02Chris Scambler
(New York University, USA)
On Ineffable LiarsChris Scambler
2017‑05‑05Sam Roberts
(University of Oslo, Norway)
The iterative conception of properties and comprehensionSam Roberts
2017‑03‑31Luca Incurvati
(University of Amsterdam, North Holland, Netherlands)
Metalogic and the Overgeneration ArgumentLuca Incurvati
2016‑11‑25Zeynep Soysal
(Harvard University, Cambridge, Massachusetts, USA)
Unfolding the Content of the Concept of SetZeynep Soysal
2014‑12‑19Neil Barton
(University of London, UK)
What is a forcing extension (of V)? 
2014‑03‑28Michael Potter
(Fitzwilliam College, University of Cambridge, UK)
Arguments for the Axiom of Replacement 
2013‑11‑22Giorgio Venturi
(Scuola Normale Superiore di Pisa, Italy)
Forcing Axioms and the foundations of mathematics 
2012‑11‑30Ivona Brandic
(Distributed Systems Group, Information Systems Institute, TU Wien, Austria)
Cloud Computing: Reducing Energy Consumption while Improving Bioinformatics? 
2012‑04‑20Goulnara Arzhantseva
(Mathematics, University of Vienna, Austria)
On the limits in the space of marked groups 
2012‑03‑02Monika 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‑13Robert Tichy
(Institut für Analysis und Computational Number Theory, TU Graz, Austria)
Effectivity and Ineffectivity in Number Theory 
2011‑05‑27Klaus 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‑08Caslav Brukner
(Faculty of Physics, University of Vienna, Austria, and University of Belgrade, Serbia)
Bell's theorem: Classical versus quantum probability 
2011‑04‑01Ludmil Katzarkov
(Department of Mathematics, University of Vienna, Austria)
Fundamental Groups 

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2020-01-09, 06:08.