Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24
- Project Identification
- MUNI/A/1608/2023
- Project Period
- 1/2024 - 12/2024
- Investor / Pogramme / Project type
-
Masaryk University
- Specific research - support for student projects
- MU Faculty or unit
- Faculty of Informatics
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.
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: 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, year: 2024
-
The Finite Satisfiability Problem for PCTL is Undecidable
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2024
-
The Language of Infographics: Toward Understanding Conceptual Metaphor Use in Scientific Storytelling
IEEE Transactions on Visualization and Computer Graphics, year: 2024, DOI
-
The satisfiability problem for a quantitative fragment of PCTL
Journal of Computer and System Sciences, year: 2024, volume: 139, edition: 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), year: 2024
-
TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips
IACR Transactions on Cryptographic Hardware and Embedded Systems, year: 2024
-
Tree-Based Reconfiguration of Metamorphic Robots
2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), year: 2024
-
Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
DISCRETE MATHEMATICS, year: 2024, volume: 347, edition: 8, DOI
-
Twin-width of graphs on surfaces
49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), year: 2024
-
Uncertainty in real-world vehicle routing
Frontiers in Artificial Intelligence and Applications, year: 2024