Interpolace, amalgamace a výpočty
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
JUNIOR STAR
Veřejná soutěž
SGA0202500003
Hlavní účastníci
Ústav informatiky AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
25-18306M
Alternativní jazyk
Název projektu anglicky
Interpolation, Amalgamation, and Computation
Anotace anglicky
Interpolation is a fundamental metalogical property of broad importance to several fields, including software/hardware verification, databases, mathematics, and philosophy. This project aims to bridge the gap between the two dominant paradigms in the study of interpolation: the proof-theoretic approach and the algebraic approach. By reconciling these methodologies, the project will develop a systematic account of interpolation in varied environments, and, in particular, will produce a flexible and powerful toolkit for investigating interpolation in different logical contexts. Our investigation places a special emphasis on finding broadly applicable techniques for understanding computational aspects of interpolation, such as the decidability of various questions relating to interpolation and complexity of the associated algorithms.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10101 - Pure mathematics
OECD FORD - vedlejší obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
AF - Dokumentace, knihovnictví, práce s informacemi<br>BA - Obecná matematika<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika
Termíny řešení
Zahájení řešení
1. 1. 2025
Ukončení řešení
31. 12. 2029
Poslední stav řešení
Z - Začínající víceletý projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP25-GA0-GM-R
Datum dodání záznamu
26. 2. 2025
Finance
Celkové uznané náklady
22 483 tis. Kč
Výše podpory ze státního rozpočtu
22 483 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč