Projet NFFC (Horizon Europe, appel à projets 2024)
Action : Staff Exchanges
Panel : Mathematics
Statut du projet : SIGNED

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.


Participants :
- Institut national de recherche en sciences et technologies du numérique (France) — Partner, associated partner, Recherche, subvention : 0.0 €
- Université de Saragosse (Espagne) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 25050.0 €
- Université de Zagreb (Croatie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 20040.0 €
- Université de Kyoto (Japon) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Université Victoria de Wellington (Nouvelle-Zélande) — Partner, associated partner, Recherche, subvention : 0.0 €
- Institute of Mathematics, Physics, and Mechanics (Slovénie) — Partner, beneficiary, Recherche, subvention : 35070.0 €
- Université du Wisconsin (Etats-Unis) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- KAIST (Corée du Sud) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Université de technologie de Nanyang (Singapour) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Université de Siegen (Allemagne) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 95190.0 €
- Université d'Udine (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 60120.0 €
- Université de Nagoya (Japon) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- University of the Bundeswehr Munich (Allemagne) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 30060.0 €
- Université nationale de Singapour (Singapour) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Université de Leeds (Royaume-Uni) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 30060.0 €
- Université de Swansea (Royaume-Uni) — Coordinator, beneficiary, Enseignement supérieur ou secondaire, subvention : 140280.0 €
- University of Connecticut (Etats-Unis) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €