Kursthemen

  • AISE-Sem-M: Masterseminar (Oberseminar)

    Alles einklappen Alles aufklappen

    Meetings:  Wednesdays, 17:00-19:00

    Seminar description

    This seminar covers selected topics from across the spectrum of interests of the AISE research group. These research activities lie at the intersection of artificial intelligence, philosophy, mathematics, computer science, and natural language and cover topics such as:

        • mechanisation of normative reasoning and explanation in computers to develop trusted AI systems
        • hybrid AI systems: automated reasoning, machine learning and agent-based architectures
        • AI & ethics, AI & law 
        • rational argumentation
        • universal logical reasoning 
        • logico-pluralistic knowledge representation and reasoning methodologis and infrastructures
        • applications: e.g. in computational metaphysics (e.g., Gödel's ontological argument), machine ethics, mathematical foundations (e.g., category theory)
        • automated theorem proving (e.g. Leo theorem provers) and model finding 
        • interactive/automated theorem proving in research and education

    Trained competencies 

    Participating students will be introduced to current research questions and papers from the AISE group's spectrum of interest. Students will explore, prepare and present a selected topic and acquire in depth knowledge about the involved research questions and challenges. Ideally, this work will lead to a subsequent topic for a thesis project. Presentations of research topics related to a running thesis project are also welcome. Students will learn to assess and review research papers and to prepare and present own papers.

  • 17. Oktober - 23. Oktober

    In the first week, on Wednesday, October 19, we will have a pure organisational meeting.

  • 24. Oktober - 30. Oktober

    On Wednesday, October 26,  we will have a guest presentation by 

    Lavanya Singh (Palantir, Harvard University): 


    Lavanya has a background in philosophy and computer science and she has successfully employed the LogiKEy technology in her BSc thesis work. At the German national KI'2022 conference she received the best paper award for her paper with the above title.

  • 31. Oktober - 6. November

    Colin Rothgang (Mathematics@FU Berlin) will present in this week his ongoing masters thesis work on

    • Automated proving of dependent-typed theorems

  • 7. November - 13. November

    Rosea Martin (U Bamberg) will present in this week:

    • A story about the way humans generate natural & artificial explanations for some reasons

  • 14. November - 20. November

    Andrea Vestrucci (U Bamberg) will present in this week the conference talk he will deliver the following week at the Normal School in Pisa, Italy:

    • Interdisciplinary Symbolic Approach to XAI

    Content: Research activities conducted within the AISE group and topics for collaboration with the Normal School Research Project XAI.

  • 21. November - 27. November

    Qais Hamarneh (TU Munich) presents a talk on his ongoing MSc project in this week:

    • Safety of Column-Divided Petri Nets using Inductive Invariants

  • 28. November - 4. Dezember

    Moritz Bayerkuhnlein (U Bamberg) will present a regular seminar talk in this week:

    • Challenges of Ethical Governors using Automated Theorem Proving as Safety-Harnesses


  • 5. Dezember - 11. Dezember

    David Fuenmayor (U Bamberg) 

    • Bridging Legal Argumentation and Automated Theorem Proving

  • 12. Dezember - 18. Dezember

    Noelle Weinmann (U Bamberg) will present a regular seminar talk in this week:

    • The Importance and Implications of AI Ethics - A high-level Overview
      Abstract: The aim is to provide an overview of AI ethics, its supposed goals, its challenges, the opportunities and risks associated with it, and an outlook on current developments in the field. Studies that criticize the current approach to AI ethics are presented. Proposals for guidelines and codes of ethics and their effectiveness are discussed. In addition to a general consideration of the advantages and disadvantages of current AI technology and AI ethics, a closer look is taken at the Cybersecurity domain with an emphasis on how AI ethics is evaluated in this particular area. 

  • 19. Dezember - 25. Dezember

    Matteo Acclavio (Università Roma Tre) will speak in this week: 

    • A Graphical Proof Theory for "happens-before"

    Abstract: The "happens-before" is an order relation over events playing a crucial role in formal verification. 
    Logics modelling this relation by means of a non-commutative connective have been introduced in the literature. 
    However, their expressiveness is limited to series-parallel orders. In this talk, after recalling the proof theoretical results for these logics and their connections to process calculi, I will present proof systems operating on graphs instead of formulas. This innovative framework allows us to overcome the restrictions of in-line formulas and to handle non-series parallel orders.

  • 26. Dezember - 1. Januar

    no meeting in this week

  • 2. Januar - 8. Januar

    no meeting in this week

  • 9. Januar - 15. Januar

    (cancelled, see notification email) Question and answering meeting; discussion of organisational aspects

  • 16. Januar - 22. Januar

    Philipp Breiter (U Bamberg) will present a regular seminar talk in this week:

    • How to reduce the carbon footprint of AI systems


  • 23. Januar - 29. Januar

    I am pleased to announce two guest presentations with AI-related topics that are scheduled for Wednesday, Jan 25, 14:30 (s.t.) to 16:30 in  Room WE5/04.004:

    Wed 25.1., 14:30 (s.t.) to 15:25, Room WE5/04.004

    • Prof. Dr. Alexander Steen (Uni Greifswald)
    • A standard translation for higher-order modal logics
    • Abstract: Standard translations are a common tool for encoding modal logic  formulas into classical logic in a truth-preserving way. Common standard  translations include the mapping of propositional modal logic into unsorted first- order logic, and the mapping of first-order modal logic into many-sorted first- order logic. In contrast, encodings into higher-order logic (HOL) offer more  flexibility and expressivity. In my talk, I will present ongoing work for a novel  translation of higher-order (multi-)modal logics into HOL that supports both rigid  and flexible constant/function symbols, different quantification semantics, local  and global hypotheses. This work extends and partly simplifies previous work on  semantic embeddings. A preliminary evaluation is presented.

    Wed 25.1., 15:30 (s.t.) to 16:30, Room WE5/04.004

    • Dr. Serge Autexier (Director of the Bremen Ambient Assisted Living Lab, DFKI Bremen)
    • Security and Privacy by Design in the development of multi-center-based  machine learning for personalized health and care: some best practices and  practical challenges 
    • Abstract: Security and privacy are of utmost importance for systems processing  personal health data. The talk presents the impact of security and privacy  requirements on the research and development of a platform to train machine  learning models on real patient data from multiple sources in a multi-centre  setting. It discusses how they affect the design of the system architecture, the  choice of methods as well as the whole the whole research and development  process itself. The presentation is based on experiences from two European  research projects concerned with developing machine learning based  personalized risk predictions for cancer patients and COPD patients and sheds a  light on the peculiarities of the used data, the target variables to predict and the  mechanisms based on predictive models to support medical personnel.

  • 30. Januar - 5. Februar

    Dr. Dennis Müller (FAU Erlangen) will present a talk on 

    • "Bridging the gap between formal and informal mathematics"

  • 6. Februar - 12. Februar

    ... still available ...