Enhancing human resources for research in theoretical computer science
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
—
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
OP - EU Operational Programme
Contract ID
17_050/0008361-1
Alternative language
Project name in Czech
Rozvoj lidských zdrojů pro výzkum v teoretické informatice
Annotation in Czech
Cílem projektu je rozvoj lidských zdrojů pro výzkum v teoretické informatice. Ústav informatiky AV ČR, ve světě známý mimo jiné výzkumem v oblasti matematické logiky, bude hostit mobility tří zahraničních vědců rozvíjejících neklasické logiky a aplikujících je na specifické problémy v teoretické informatice. ÚI zvýší svou prestiž a viditelnost v mezinárodním kontextu, zahraniční vědci obohatí svůj výzkumný profil a budou stimulovat vědeckou aktivitu na pracovišti.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10101 - Pure mathematics
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
BA - General mathematics
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The research project in the field of theoretical informatics involved 3 researchers from abroad, who successfully completed work on their projects. In accordance with the plans, they achieved the results, which they presented at conferences and published in the form of articles in proceedings and journals. They participated in the scientific life of the Institute of Informatics, organized regular seminars and workshops. During the work on the project, they actively communicated with both the supervisor and other members of the Institute of Informatics, learned new procedures from them and shared their knowledge with colleagues. They regularly participated in the seminars of their working group. During the period under review, a worldwide coronavirus pandemic broke out, leading to modifications to some of the original travel plans.
Solution timeline
Realization period - beginning
May 1, 2018
Realization period - end
Apr 30, 2020
Project status
U - Finished project
Latest support payment
Dec 13, 2019
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP21-MSM-EF-U/01:1
Data delivery date
Jun 25, 2021
Finance
Total approved costs
9,667 thou. CZK
Public financial support
9,667 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
483 thou. CZK