University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Chair for AI Systems Engineering (AISE)

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Applied Computer Science
  6. Chair for AI Systems Engineering (AISE)
  7. News

News

[Translate to English:]

Successful dissertation defence by Rosae Martin Pe?a

[Translate to English:]

Three new book articles by Prof Dr Benzmüller published

Veronika Solopova defended PhD in NLP with highest grade at FU Berlin: Hybrid AI Systems in Automated Content Moderation and Analysis

[Translate to English:]

Two new Book Volumes on “Automated Reasoning” by Benzmüller

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

Benzmüller continues cooperation with BITS Pilani Dubai

Benzmüller contributes to the "Jung und Alt bewegt" workshop series organised by the Association of German Scientists (VDW).

Benzmüller selected as High-End Foreign Expert at Zhejiang University, China

Outreach: Prof. Dr. Vestrucci scientific advisor on AI and ethics.

[Translate to English:]

Prof. Dr. Vestrucci member of the scientific committee "BLESS - Bridges between Logic, Ethics, and Social Sciences"

Benzmüller Visiting Professor at BITS Pilani, Dubai Campus

Benzmüller Keynote Speaker at CINS 2023 in Dubai

Benzmüller is keynote speaker at CINS 2023 conference in Dubai

Best Paper Award at CLAR 2023

AISE team members get papers accepted at various conferences and Journals: KI, CLAR, J.IGPL

Prof. Dr. Andrea Vestrucci Guestprofessor at the university Torun in Poland

AISE-PLM: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica with Edward Zalta (Stanford U, Philosophy) funded by the Bavarian BaCaTeC Initiative

Location: An der Universit?t 5 - Sitzungszimmer - U5/03.27

Benzmüller appointed as Co-Chair of IJCAR 2024

AISE team members get papers accepted at various conferences: CADE, CICM, CAV

International block course by TU Berlin and U Bamberg on “Ethics & Epistemology of AI”

Benzmüller‘s works presented in TerraX

New book: On G?del and the Nonexistence of Time

Dr. Daniel Kirchner (AISE Team) nominiert als KI-Newcomer 2023

[Translate to 1 - english:]

"Who Finds the Short Proof?" just appeared in Logic Journal of the IGPL

[Translate to 1 - english:]

AISE-Team receives two BaCaTeC-VSAI Grants

Talk by Chad Brow (Czech Technical University in Prague): Formalization of Mathematics in Higher Order Set Theory (Wed, Nov 16, 14:15-15:45)

[Translate to 1 - english:]

Public Outreach: Benzmüller wins Bamberger Science Slam jointly with Rapper ,,Bamb?gga''

Goethe-Institute AI & Ethics Summer School 2022 at U Bamberg.

Benzmüller's work on the Ontological Argument is mentioned/discussed in Scientific American and Spektrum der Wissenschaft

Benzmüller will be keynote speaker of FLAIRS-36

Forthcoming book with Springer: What follows from the non-existence of time? Selected contributions to the Kurt-G?del essay competition 2021.

Forthcoming book chapter: A Simplified Variant of G?del's Ontological Argument

New preprint: Who Finds the Short Proof?

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.

Workshop and Tutorial on Computational Metaphysics and Intensionality: May 31 and June 1

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…

Daniel Kirchner defends his PhD thesis in mathematics at FU Berlin with a summa cum laude

Benzmüller is jury member of the Kurt G?del Award 2023

New Article

Der Artikel "A Simplified Variant of G?del's Ontological Argument." wird in Kürze in erscheinen.