News 12/02/2025 Computational Ontology & Metaphysics @ Uni Bamberg 09/29/2025 "Dependently typed higher-order logic" - New article in ACM journal 09/08/2025 Two new top rated journal papers by Daniel Kirchner 07/11/2025 ECAI and ICAIL conference papers by Master's graduate Lara Lawniczak 04/22/2025 Edward Zalta (Stanford) - Inaugural Lecture - 2025 Johann-von-Spix Guestprofessor at the University of Bamberg 04/22/2025 New article on computational metaphysics in "Monatshefte für Mathematik 04/10/2025 Johann-von-Spix Guestprofessorship for Edward Zalta (Stanford) 02/24/2025 Best Paper Award 01/30/2025 AISE group member speak at Elixir Conference 11/25/2024 New Special Issue of KI-Künstliche Intelligenz: "Non-Classical Reasoning for Contemporary AI Applications'' 09/24/2024 Successful dissertation defence by Rosae Martin Pe?a 09/24/2024 Three new book articles by Prof Dr Benzmüller published 07/22/2024 Veronika Solopova defended PhD in NLP with highest grade at FU Berlin: Hybrid AI Systems in Automated Content Moderation and Analysis 07/04/2024 Two new Book Volumes on “Automated Reasoning” by Benzmüller 06/24/2024 Benzmüller is co-editor of a 2-volume work on "Automated Reasoning" in the renowned series "Lecture Notes in Artificial Intelligence" by Springer. These two open access volumes contains the papers of the 12th International Joint Conference on Automated R 03/27/2024 Benzmüller continues cooperation with BITS Pilani Dubai 03/06/2024 Benzmüller contributes to the "Jung und Alt bewegt" workshop series organised by the Association of German Scientists (VDW). 12/23/2023 Benzmüller selected as High-End Foreign Expert at Zhejiang University, China 11/13/2023 Outreach: Prof. Dr. Vestrucci scientific advisor on AI and ethics. 11/13/2023 Prof. Dr. Vestrucci member of the scientific committee "BLESS - Bridges between Logic, Ethics, and Social Sciences" 11/08/2023 Benzmüller Visiting Professor at BITS Pilani, Dubai Campus 10/13/2023 Benzmüller Keynote Speaker at CINS 2023 in Dubai Benzmüller is keynote speaker at CINS 2023 conference in Dubai 09/12/2023 Best Paper Award at CLAR 2023
04/22/2025 Edward Zalta (Stanford) - Inaugural Lecture - 2025 Johann-von-Spix Guestprofessor at the University of Bamberg
11/25/2024 New Special Issue of KI-Künstliche Intelligenz: "Non-Classical Reasoning for Contemporary AI Applications''
07/22/2024 Veronika Solopova defended PhD in NLP with highest grade at FU Berlin: Hybrid AI Systems in Automated Content Moderation and Analysis
06/24/2024 Benzmüller is co-editor of a 2-volume work on "Automated Reasoning" in the renowned series "Lecture Notes in Artificial Intelligence" by Springer. These two open access volumes contains the papers of the 12th International Joint Conference on Automated R
03/06/2024 Benzmüller contributes to the "Jung und Alt bewegt" workshop series organised by the Association of German Scientists (VDW).
11/13/2023 Prof. Dr. Vestrucci member of the scientific committee "BLESS - Bridges between Logic, Ethics, and Social Sciences"
10/13/2023 Benzmüller Keynote Speaker at CINS 2023 in Dubai Benzmüller is keynote speaker at CINS 2023 conference in Dubai
![[Translate to English:]](/fileadmin/_processed_/4/d/csm_IMG_1713_47e13d56f4.webp "[Translate to English:]")
![[Translate to English:]](/fileadmin/_processed_/6/3/csm_Elixir_Conference2025-01-30_at_11.44.55_2950b12157.webp "[Translate to English:]")
![[Translate to English:]](/fileadmin/_processed_/2/2/csm_Rosae_1_defensa_96d00983ee.webp "[Translate to English:]")
![[Translate to English:]](/fileadmin/_processed_/a/csm_bookcover_49ae96eb1f.webp "[Translate to English:]")
![[Translate to English:]](/fileadmin/_processed_/3/4/csm_Screenshot_2024-07-03_at_17.44.37_8984297017.webp "[Translate to English:]")
![[Translate to English:]](/fileadmin/_processed_/9/8/csm_Lara_1_c4d0128187.webp "[Translate to English:]")
