Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 21
(SKOMU)
- Project Identification
- MUNI/A/1549/2020
- Project Period
- 1/2021 - 12/2021
- Investor / Pogramme / Project type
-
Masaryk University
- Specific research - support for student projects
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Petr Hliněný, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- RNDr. Jaroslav Čechák, Ph.D.
- RNDr. Tomáš Effenberger, Ph.D.
- RNDr. Marek Chalupa, Ph.D.
- RNDr. Miroslav Chodil
- prof. RNDr. Antonín Kučera, Ph.D.
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- RNDr. Samuel Pastva, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Martin Ukrop, Ph.D.
Každoročně někteří z nejlepších doktorských a také i magisterských studentů Fakulty informatiky dosahují přijetí svých původních vědeckých příspěvků na některé z prestižních výběrových mezinárodních konferencí. Tyto vítané úspěchy jsou na jednu stranu dokladem kvalitní vědecké výchovy na naší fakultě, ale také na druhou stranu kladou velké nároky na finanční zajištění vyžadované účasti autorů na zmíněných konferencích. Každoročně předkládaný projekt je zaměřen právě na podporu aktivní účasti doktorských a magisterských studentů FI na takových vysoce špičkových informatických konferencích a také na podporu jejich vědecké přípravy k tomuto cíli. Podporovaná vědecká příprava studentů zahrnuje jejich aktivní účast na kvalitních tematicky zaměřených mezinárodních odborných školách, možnost podpory odůvodněné dlouhodobé mezinárodní mobility doktorských studentů FI a také krátkodobé zvané přednáškově-výzkumné pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Sustainable Development Goals
Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.
Publications
Total number of publications: 32
2021
-
Metric hull as similarity-aware operator for representing unstructured data
Pattern Recognition Letters, year: 2021, volume: 149, edition: September 2021, DOI
-
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), year: 2021
-
Regressive Ensemble for Machine Translation Quality Evaluation
Proceedings of EMNLP 2021 Sixth Conference on Machine Translation (WMT 21), year: 2021
-
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), year: 2021
-
Symbiotic 8: Beyond Symbolic Execution
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, year: 2021
-
Symbiotic 8: Parallel and Targeted Test Generation
Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, year: 2021
-
Symbolic Coloured SCC Decomposition
Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, year: 2021
-
The Satisfiability Problem for a Quantitative Fragment of PCTL
Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021, year: 2021
-
Unit Disk Visibility Graphs
Extended Abstracts EuroComb 2021, year: 2021
-
Using Process Mining for Git Log Analysis of Projects in a Software Development Course
Education and Information Technologies, year: 2021, volume: 26, edition: 5, DOI