Enhancing human resources for research in theoretical computer science
Project goals
The aim of the project is to develop human resources for research in theoretical informatics. The Institute of Informatics of the Academy of Sciences of the Czech Republic, in a world known among others by research in the field of mathematical logic, will host the mobility of three foreign scientists developing non-classical logic and applying them to specific problems in theoretical informatics. The II will increase its prestige and visibility in an international context, foreign scientists will enrich their research profile and stimulate scientific activity at the workplace.
Keywords
pre-application researchcollaboration of research organizations with application sphereexperimental verification of resultsanalysis of the potential of research resultsprotection of intellectual property
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
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
Recognised costs
9 667 CZK thou.
Public support
9 667 CZK thou.
0%
Provider
Ministry of Education, Youth and Sports
OECD FORD
Pure mathematics
Solution period
01. 05. 2018 - 30. 04. 2020