Informace o projektu
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 21
(SKOMU)
- Kód projektu
- MUNI/A/1549/2020
- Období řešení
- 1/2021 - 12/2021
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Specifický výzkum - podpora studentských projektů
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- 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.
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
Publikace
Počet publikací: 32
2021
-
Metric hull as similarity-aware operator for representing unstructured data
Pattern Recognition Letters, rok: 2021, ročník: 149, vydání: September 2021, DOI
-
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), rok: 2021
-
Regressive Ensemble for Machine Translation Quality Evaluation
Proceedings of EMNLP 2021 Sixth Conference on Machine Translation (WMT 21), rok: 2021
-
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), rok: 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, rok: 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, rok: 2021
-
Symbolic Coloured SCC Decomposition
Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, rok: 2021
-
The Satisfiability Problem for a Quantitative Fragment of PCTL
Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021, rok: 2021
-
Unit Disk Visibility Graphs
Extended Abstracts EuroComb 2021, rok: 2021
-
Using Process Mining for Git Log Analysis of Projects in a Software Development Course
Education and Information Technologies, rok: 2021, ročník: 26, vydání: 5, DOI