News 27.01.2023 Dr. Daniel Kirchner (AISE Team) nominiert als KI-Newcomer 2023 28.11.2022 "Who Finds the Short Proof?" just appeared in Logic Journal of the IGPL 28.11.2022 AISE-Team receives two BaCaTeC-VSAI Grants 16.11.2022 Talk by Chad Brow (Czech Technical University in Prague): Formalization of Mathematics in Higher Order Set Theory (Wed, Nov 16, 14:15-15:45) 27.10.2022 Public Outreach: Benzmüller wins Bamberger Science Slam jointly with Rapper ,,Bambägga'' 13.10.2022 Benzmüller's work on the Ontological Argument is mentioned/discussed in Scientific American and Spektrum der Wissenschaft 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.