Informace o projektu
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24
- Kód projektu
- MUNI/A/1608/2023
- Období řešení
- 1/2024 - 12/2024
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Specifický výzkum - podpora studentských projektů
- Fakulta / Pracoviště MU
- Fakulta informatiky
Každoročně mnozí 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 jsou složité 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, podporu 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í: 23
2024
-
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, rok: 2024
-
The Finite Satisfiability Problem for PCTL is Undecidable
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, rok: 2024
-
The Language of Infographics: Toward Understanding Conceptual Metaphor Use in Scientific Storytelling
IEEE Transactions on Visualization and Computer Graphics, rok: 2024, DOI
-
The satisfiability problem for a quantitative fragment of PCTL
Journal of Computer and System Sciences, rok: 2024, ročník: 139, vydání: 103478, DOI
-
Think Twice: Measuring the Efficiency of Eliminating Prediction Shortcuts of Question Answering Models
Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers), rok: 2024
-
TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips
IACR Transactions on Cryptographic Hardware and Embedded Systems, rok: 2024
-
Tree-Based Reconfiguration of Metamorphic Robots
2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), rok: 2024
-
Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
DISCRETE MATHEMATICS, rok: 2024, ročník: 347, vydání: 8, DOI
-
Twin-width of graphs on surfaces
49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), rok: 2024
-
Uncertainty in real-world vehicle routing
Frontiers in Artificial Intelligence and Applications, rok: 2024