News 01/27/2023 Dr. Daniel Kirchner (AISE Team) nominiert als KI-Newcomer 2023 11/28/2022 "Who Finds the Short Proof?" just appeared in Logic Journal of the IGPL 11/28/2022 AISE-Team receives two BaCaTeC-VSAI Grants 11/16/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) 10/27/2022 Public Outreach: Benzmüller wins Bamberger Science Slam jointly with Rapper ,,Bambägga'' 10/13/2022 Benzmüller's work on the Ontological Argument is mentioned/discussed in Scientific American and Spektrum der Wissenschaft 08/24/2022 Benzmüller will be keynote speaker of FLAIRS-36 08/15/2022 Forthcoming book with Springer: What follows from the non-existence of time? Selected contributions to the Kurt-Gödel essay competition 2021. 08/10/2022 Forthcoming book chapter: A Simplified Variant of Gödel's Ontological Argument 08/08/2022 New preprint: Who Finds the Short Proof? 08/03/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. 05/23/2022 Workshop and Tutorial on Computational Metaphysics and Intensionality: May 31 and June 1 05/23/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… 05/23/2022 Daniel Kirchner defends his PhD thesis in mathematics at FU Berlin with a summa cum laude 05/23/2022 Benzmüller is jury member of the Kurt Gödel Award 2023 03/21/2022 New Article Der Artikel "A Simplified Variant of Gödel's Ontological Argument." wird in Kürze in erscheinen.