News 24.08.2022 Benzmüller will be keynote speaker of FLAIRS-36 15.08.2022 Forthcoming book with Springer: What follows from the non-existence of time? Selected contributions to the Kurt-Gödel essay competition 2021. 10.08.2022 Forthcoming book chapter: A Simplified Variant of Gödel's Ontological Argument 08.08.2022 New preprint: Who Finds the Short Proof? 03.08.2022 New article in Zygon: Journal of Religion and Science The Article "Introduction: Five Steps Toward a Religion–AI Dialogue" just appeared in Zygon: Journal of Religion and Science. 23.05.2022 Workshop and Tutorial on Computational Metaphysics and Intensionality: May 31 and June 1 23.05.2022 New Article in JLC The Article "Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy" just appeared in the Journal of… 23.05.2022 Daniel Kirchner defends his PhD thesis in mathematics at FU Berlin with a summa cum laude 23.05.2022 Benzmüller is jury member of the Kurt Gödel Award 2023 21.03.2022 New Article Der Artikel "A Simplified Variant of Gödel's Ontological Argument." wird in Kürze in erscheinen.