European Companies Search Engine
EU funding (€435,870): New Frontiers for Computability Hor19 Sept 2025 EU Research and Innovation programme "Horizon"
Overview
Text
New Frontiers for Computability
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.
Funded Companies:
| Company name | Funding amount |
| Institut National de Recherche en Informatique et Automatique | ? |
| FACULTY OF SCIENCE UNIVERSITY OF ZAGREB | €20,040 |
| Institut ZA Matematiko, Fiziko IN Mehaniko | €35,070 |
| Swansea University | €140,280 |
| Universidad de Zaragoza | €25,050 |
| Universita Degli Studi Di Udine | €60,120 |
| UNIVERSITAET DER BUNDESWEHR MUENCHEN | €30,060 |
| UNIVERSITAET SIEGEN | €95,190 |
| University of Leeds | €30,060 |
Source: https://cordis.europa.eu/project/id/101236610
The filing refers to a past date, and does not necessarily reflect the current state. The current state is available on the following page: Institut National de Recherche en Informatique et en Automatique, Le Chesnay Rocquencourt, France.
The visualizations for "Institut National de Recherche en Informatique et Automatique - EU funding (€435,870): New Frontiers for Computability"
are provided by
North Data
and may be reused under the terms of the
Creative Commons CC-BY license.
