Since 1996, the Marie Skłodowska-Curie Actions (MSCA) have been one of the European Union’s main instruments for promoting scientific excellence through international and cross-sectoral mobility in doctoral training and postdoctoral research.

The Staff Exchanges action funds short-term international and cross-sectoral exchanges of personnel involved in the research and innovation activities of participating organisations. The goal is to develop sustainable joint projects between different organisations from the academic and non-academic sectors (in particular small and medium-sized enterprises) based in Europe and beyond. Exchanged staff benefit from new knowledge, skills, and career-development perspectives, while participating organisations strengthen their research and innovation capacities.

In the call for proposals, led by the main coordinator Dr. Arno Pauly from Swansea University, United Kingdom, seven partner institutions from the European Union and nine international institutions participated successfully. The Slovenian part of the project is headed by Prof. dr. Andrej Bauer.

Project title: New Frontiers for Computability

Acronym: NFFC

Project duration: 01.01.2026 - 31.12.2029

Project description: Recent advances in computability theory have uncovered new pathways to apply computability to prove theorems in other areas of mathematics. Examples include a long-open question in topological dimension theory answered by Kihara and Pauly using computability-theoretic methods and a new proof of the 2-dimensional Kakeya conjecture by Lutz and Lutz. By bringing together the right experts, we will deepen those pathways and find more such applications.

In a parallel development, we will focus on implementating algorithms working on continuous data types. This, too, has promising applications in diverse areas of mathematics. For example, tools that can compute Bloch's constant or the solution to the Lebesgue universal covering problem are within our grasp -- and both these numbers are only known up to the first post-decimal digit. The tools to be developed also have applications outside of mathematics, such as for the verification of hybrid systems.

Both routes to applications built on a shared theoretical foundation, which in itself will be developed further.

You can find more about the project here.