Moreover, on December 4, 2025, an international workshop on “Computational Ontology and Metaphysics” will take place. The workshop brings together researchers interested in the application of computer-based methods and tools for researching and evaluating ontologies and metaphysical theories. 

Further information, registration, and program:  https://www.uni-bamberg.de/en/aise/activities/winter-2025/

• Neural-guided superoptimization in ethereum. Inf. Softw. Technol. 186: 107800 (2025) doi: https://doi.org/10.1016/j.infsof.2025.107800
• Secure Optimizations on Ethereum Bytecode Jump-Free Sequences. IEEE Trans. Dependable Secur. Comput. 22(4): 3676-3691 (2025) doi: https://doi.org/10.1109/TDSC.2025.3536803 

Another publication by Lara Lawniczak as first author, which is related to her Master's thesis at the University of Bamberg and her study visit to the University of Luxembourg in 2024, was accepted at ECAI 2025, the “European Conference on Artificial Intelligence (ECAI)”.

Title: Where Mathematics, Metaphysics, Logic, and Computer Science Meet

Speaker:
Edward N. Zalta (2025 Johan von Spix Visiting Professor)
Senior Research Scholar
Stanford University
https://mally.stanford.edu/zalta.html

Thursday, May 22, 2025, 16:00 - 18:00 Uhr; Room: U2/00.25

Univis: https://univis.uni-bamberg.de/form?dsc=anew/cal_view&db=current:wiai/bereic/lehrst_3/gastvo&eventdate=2025-05-22&ref=tlecture&sem=2024w

Abstract: When a mathematician asserts "π > 3" or "the set of natural numbers is infinite", what do the symbols "π", "3", and ">" mean, and what are we referring to with the expressions "the set of natural numbers" and "is infinite"?  Of course, the mathematician may simply assume that the expressions "π", "3", "the set of natural numbers" signify mathematical objects, that "is infinite" signifies a property of numbers and sets, and that "<" signifies a relation on numbers. But numbers, sets, properties, and relations are abstract entities and it is not clear how to answer the question "In what sense do these entities exist?", since we can't use (the instruments of) the natural sciences to detect or study such entities.  Instead, metaphysics, which attempts to systematize, and state the laws governing, the abstract entities presupposed by the natural sciences, is the
discipline where this question, and related questions, are studied. But to do metaphysics precisely, we need to deploy the techniques of both logic and computer science. In this talk, I explain how collaboration between researchers at Stanford and Bamberg have developed a metaphysical analysis of the realm of mathematical entities that uses both logical and computational techniques to (a) explain what it is we understand by the symbols and expressions used in mathematics and thereby (b) integrate the 4 key disciplines mentioned in the title.

Benzmüller, C., Scott, D. Notes on Gödel’s and Scott’s variants of the ontological argument. Monatsh Math (2025). https://doi.org/10.1007/s00605-025-02078-x

Edward Zalta, Prof. Christoph Benzmüller (chair of AI Systems Engineering, University of Bamberg) and his team member Dr. Daniel Kirchner joined forces about a decade ago to collaboratively pioneer and advance the interdisciplinary field of higher-order computational metaphysics, which has now also become a focus topic of the Center for Innovative Applications of Computer Science at the University of Bamberg.

Zalta will visit Bamberg twice in 2025: A short stay is planned in May, where Zalta will give an invited lecture, and another stay is planned in November, where a seminar on computational metaphysics will be organized for students of computer science, philosophy, and AI. The November seminar will be combined with a topic-related workshop, where also the winners of the 2025 Kurt Gödel Essay Prize of the Berlin Kurt-Gödel Freundeskreis will be awarded.

• Marc Nickert will speak on  ,,Flame on Slurm HPC Cluster“ (https://www.elixirconf.eu/talks/flame-on-slurm-hpc-cluster/)
• David Fuenmayor will speak on ,,Elixir for Automated Reasoning“ (https://www.elixirconf.eu/talks/elixir-for-automated-reasoning/)