• zur Hauptnavigation springen
  • zum Inhaltsbereich springen
University of Bamberg
open search form
You are here
  • Homepage University of Bamberg
  • Faculties
  • Information Systems and Applied Computer Sciences
  • Subject groups
  • Applied Computer Science
  • Chair for AI Systems Engineering (AISE)
  • Activities
  University of Bamberg
  • Deutsch
  • English

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. Activities
Website section:

Information Systems and Applied Computer Sciences

Chair for AI Systems Engineering (AISE)

  • Deutsch
  • English
  • Team
    • Prof. Dr. Christoph Benzmüller (Team Lead)
    • Johannes Schuster, M.Sc. (Office – Cover)
    • Dr. David Fuenmayor
    • Dr. Daniel Kirchner
    • Prof. Dr. Andrea Vestrucci
    • Max Wisniewski
    • Paul Sigloch, M.Sc.
  • Current Teaching
  • Activities
    • Winter 2025/26
    • Summer 2023
    • Winter 2022/23
    • Summer 2022
  • News

Activities of the AISE Group

  • Winter 2025/26
  • Summer 2023
  • Winter 2022/23
  • Summer 2022

News

  • use our RSS feed
  • What is RSS?
Headline of the F.A.Z. article “Der Gott der Logiker” (“The God of the Logicians”), Frankfurter Allgemeine Zeitung, 30 September 2026

"The God of the Logicians" – F.A.Z. Reports on the Gödel Conference at the BBAW

The Frankfurter Allgemeine Zeitung devotes a substantial feuilleton article to the Berlin conference on Kurt Gödel’s ontological argument for the…

09/30/2026

The LogiKEy methodology: applications, domain-specific languages and object logics are embedded in classical higher-order logic (HOL)

LogiKEy Course at ESSLLI 2026 in Prague

Christoph Benzmüller and Luca Pasetto (University of Luxembourg) taught the course “Experimenting with the LogiKEy Framework & Methodology” at the…

09/17/2026

Wanted: Student Assistants for the “DevOps for AI Systems” Course (Winter Semester 2026/27)

We are looking for 2 student assistants (m/f/d), starting immediately, for the course “DevOps for AI Systems” in the winter semester 2026/27.…

07/27/2026

Farewell lecture by Professor Dr. Christoph Schlieder on 15 July 2026

07/02/2026

[Translate to English:]

Talk announcement: Prof. Dr. Jasmin Blanchette

Talk announcement: Prof. Dr. Jasmin Blanchette (Chair of Theoretical Computer Science, LMU München) -- Tao's Equational Proof Challenge Accepted

06/08/2026

Andrea Vestrucci Receives Best Paper Award at ISDIA 2026

05/18/2026

View all

Page 150780

  • Contact
  • Legal

Online Services

  • FIS (Research Information System)
  • FlexNow2 for Students
  • FlexNow2 for Employees
  • Portal for Students and Applicants of Master’s Degree Programmes
  • Office 365
  • University Library Catalogue
  • University Portal (HisInOne)
  • Webmail:
    https://mailex.uni-bamberg.de
    https://o365.uni-bamberg.de

Main Menu

  • University
  • Faculties
  • Administration & Institutions
  • Studies
  • Research
  • International

Contact

University of Bamberg
Kapuzinerstraße 16
D-96047 Bamberg

Phone: +49 951 863-0
Email: post(at)uni-bamberg.de

Follow us

InstagramFacebookBlueskyToktok
Subscribe to newsletter