MaRDI Annual Meeting 2026

Often, several statistical methods can address a given research question for a given dataset. In many practical cases, particularly with complex data and sophisticated methods, mathematical theory alone cannot definitively determine which method is most appropriate. In this challenging context, empirical evaluations of method performance are crucial for developing guidance for data analysts....

Generative AI is rapidly transforming the landscape of mathematical research by solving many open mathematical problems.
I will talk about these advances from the perspective of formalized mathematics.
Many of these AI solutions come with an AI-generated formalization in Lean.
These might not help to understand the mathematical argument, but do provide some guarantees about the correctness of...

Turning powerful language models into reliable scientific collaborators takes more than model quality: it demands rigorous verification, mathematical guardrails, and an architecture that lets coding agents run long-horizon experiments autonomously. In this talk, I will present a practical framework for AI-assisted research that aims to compress the research cycle. The framework turns...

Managing research data is inseparably linked to managing research software. The community has several tools and services available for this purpose. This ecosystem is currently extended in two dimensions within NFDIxCS. First, infrastructure is provided to support reuse of software in different environments. Second, interoperability of services is addressed by a technical architecture that...

In her talk, Sonja Schimmler will examine how generative AI is reshaping the way researchers create, share, and reuse articles, data, models, and code. As this shift introduces new challenges for transparency and reproducibility, research data infrastructures must adapt. She will explore how these systems are evolving to manage diverse scholarly artifacts and leverage AI themselves.

Der Beitrag stellt pHS-Bench vor, ein Benchmark-Projekt des SFB 1701 in Wuppertal für Methoden und Software im Bereich port-Hamiltonscher Systeme. Mit Leaderboard- und Blind-Testing-Funktionalitäten ergeben sich neue Fragestellungen, etwa zur Entwicklung geeigneter Metriken, zur fairen Evaluation und zur Akzeptanz in der Community. Eine Integration in MaRDIMark verspricht zugleich eine höhere...

MathAlgoDB and MathModDB organize knowledge about numerical algorithms and mathematical models in MaRDI. We report on the current state of both databases and outline our plans for the second funding phase: merging them in content and technology on the MaRDI Portal so that they become part of the MaRDI knowledge graph, and extending the approach to further MaRDI databases and other classes of...

The sessions will be held in separate places around the cluster building.

Informal strategy meeting of the MaRDI PIs with guests from NFDIxCS and NFDI4DS, in parallel to the Wrap-up Session.

The MaRDI portal already provides FAIR-aligned access to publications, datasets, software, algorithms and workflows. What it does not yet offer is a machine-actionable operations layer: a protocol-level way to discover, retrieve and process portal entities without knowing the Wikibase data model. We present our work on exposing portal entities as FAIR Digital Objects via a DOIP gateway placed...

We sketch our plans for a community-led platform for publishing computational notebooks, in which each notebook is intended to receive a persistent identifier via Zenodo and be linked to the MaRDI Knowledge Graph. We outline the envisioned technical setup and first ideas for FAIR-compliant submission templates.

After a lot of work behind the scenes, MaRDIans as well as NFDI friends and partners now have access to a versatile and customizable Conference Kit. The first half of this session celebrates its official release. In a live demo, its customization options, along the lines of typical use cases, will be explored, interactively gathering feedback. In the second half of the session, the ConfKit...