Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 23
(SKOMU23)
- Project Identification
- MUNI/A/1433/2022
- Project Period
- 1/2023 - 12/2023
- 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.
- doc. Ing. RNDr. Barbora Bühnová, Ph.D.
- doc. RNDr. Barbora Kozlíková, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- doc. RNDr. Petr Sojka, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- prof. PhDr. David Šmahel, Ph.D.
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: 19
2023
-
Recognizing H-Graphs - Beyond Circular-Arc Graphs
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), year: 2023
-
Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy, year: 2023
-
Shielding in Resource-Constrained Goal POMDPs
Proceedings of the 37th AAAI Conference on Artificial Intelligence, year: 2023
-
Soft Alignment Objectives for Robust Adaptation of Language Generation
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), year: 2023
-
Sparse Graphs of Twin-width 2 Have Bounded Tree-width
ISAAC 2023, year: 2023
-
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II, year: 2023
-
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 2023
-
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics
2023 IEEE International Conference on Robotics and Automation (ICRA), year: 2023
-
Twin-width of Planar Graphs is at most 8, and at most 6 when Bipartite Planar
50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), year: 2023