Mathematical logic, complexity, and algorithms

Provider
Academy of Sciences of the Czech Republic
Programme
Grants of distinctly investigative character focused on the sphere of research pursued at present particularly in the Academy of Sciences of the Czech Republic
Call for proposals
Výzkumné granty 9 (SAV02009-A)
Main participants
—
Contest type
VS - Public tender
Contract ID
IAA100190902

Project name in Czech
Matematická logika, složitost a algoritmy
Annotation in Czech
Projekt základního výzkumu v matematické logice a teoretické informatice. Soustředíme se na omezenou aritmetiku a důkazovou složitost, teorii množin, teorii výpočetní složitosti a teorii algoritmů. Témata výzkumu sahají od oblastí základů matematiky až po algoritmické problémy motivované aplikovaným výzkumem. Výsledky projektu budou publikovány v kvalitních zahraničních časopisech a sbornících předních výběrových konferencí v oboru.

R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The project has reached many new results in logic and theoretical computer science in the areas of bounded arithmetic, set theory, computational complexity and theorz of algorithms. 3 monographs and more than 90 articles were published.

Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP14-AV0-IA-U/01:1
Data delivery date
Apr 14, 2014

Similar projects(10)