Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 26
- Project Identification
- MUNI/A/1860/2025
- Project Period
- 1/2026 - 12/2026
- Investor / Pogramme / Project type
-
Masaryk University
- Specific research - support for student projects
- MU Faculty or unit
- Faculty of Informatics
Zapojení do mezinárodní vědecké spolupráce je klíčové pro akademický rozvoj studentů FI, především těch v doktorském studiu. Toto zapojení má nejčastěji formy výzkumných mobilit studentů, aktivní účasti studentů na špičkových světových recenzovaných konferencích a výzkumných návštěv zahraničních odborníků na FI. Avšak zajišťování potřebných prostředků na takové aktivity je velmi složité na úrovni jednotlivých výzkumných týmů, neboť nelze s dostatečným předstihem předjímat, na které výzkumné mobility budou studenti pozváni či přijati (typicky se týká tzv. letních škol), čí výzkumné příspěvky budou přijaty na kterou konferenci (typicky bývá známo nejdříve kolem 3 měsíců před datem konání) nebo který zahraniční odborník přijme pozvání k výzkumné návštěvě. Každoročně předkládaný projekt je zaměřen právě na celkové řešení této podpory vědecké přípravy studentů na celofakultní úrovni. Podporovaná příprava studentů zahrnuje jejich aktivní účast na špičkových informatických konferencích, 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: 21
2026
-
BDD-Based Formula Approximations for Quantified Bit-Vector Satisfiability
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2026, year: 2026, DOI
-
CoinJoin ecosystem insights for Wasabi 1.x, Wasabi 2.x and Whirlpool coordinator-based privacy mixers
Proceedings on Privacy Enhancing Technologies 2026(2), year: 2026, DOI
-
Conflict-Free Coloring Planar Graphs with 4 Colors
34th Annual European Symposium on Algorithms (ESA 2026), year: 2026, DOI
-
Detecting Overcomplicated Conditions in Student Code Automatically
Proceedings of the 57th ACM Technical Symposium on Computer Science Education V 2, year: 2026, DOI
-
EduLint: a Versatile Tool for Code Quality Feedback
Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1, year: 2026, DOI
-
Filtering Few-Level Segment Regions for Efficient Subsequence Search in 3D Human Motions
48th European Conference on Information Retrieval (ECIR), year: 2026, DOI
-
Finding b-Colorings Using Feedback Edges
51st International Symposium on Mathematical Foundations of Computer Science (MFCS 2026), year: 2026
-
k-Planar and Fan-Crossing Drawings and Transductions of Planar Graphs
Lecture Notes in Computer Science, year: 2026, DOI
-
Language Models Learn Universal Representations of Numbers and Here’s Why You Should Care
Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), year: 2026, DOI
-
Memory Assignment for Finite-Memory Strategies in Adversarial Patrolling Games
Proceedings International Conference on Automated Planning and Scheduling, ICAPS, year: 2026, DOI