Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 18
- Project Identification
- MUNI/A/1038/2017
- Project Period
- 1/2018 - 12/2018
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- Category A
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Petr Hliněný, Ph.D.
- Cem Emre Akbas
- RNDr. Jaroslav Bendík, Ph.D.
- doc. RNDr. Tomáš Brázdil, Ph.D.
- doc. Ing. Pavel Čeleda, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Karolina Dočkalová Burská
- RNDr. Petr Eliáš, Ph.D.
- RNDr. Marek Chalupa, Ph.D.
- RNDr. Martin Jonáš, Ph.D.
- RNDr. David Klaška
- prof. RNDr. Antonín Kučera, Ph.D.
- Bc. Tomáš Lamser
- doc. RNDr. Radek Ošlejšek, Ph.D.
- doc. RNDr. Lubomír Popelínský, Ph.D.
- RNDr. Vladimír Sedláček, Ph.D.
- doc. RNDr. Petr Sojka, Ph.D.
- RNDr. Josef Spurný, Ph.D.
- RNDr. Vít Starý Novotný, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Valdemar Švábenský, Ph.D.
- RNDr. Karel Vaculík, Ph.D.
- RNDr. Bc. Dominik Velan, Ph.D.
- Mgr. Martina Vitovská
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 aktivní účasti na kvalitních tematicky zaměřených mezinárodních odborných školách, které přispívají k jejich dalšímu vědeckému růstu. Od letošního roku v projektu přibývá také možnost částečné podpory odůvodněné dlouhodobé mezinárodní mobility doktorských studentů FI. V neposlední řadě náš projekt předpokládá i krátkodobé zvané přednáškově-výzkumné pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publications
Total number of publications: 15
2018
-
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, year: 2018
-
Data-centric Dynamic Partial Order Reduction
Proceedings of Symposium on Principles of Programming Languages 2018, year: 2018
-
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018
-
Enhancing Cybersecurity Skills by Creating Serious Games
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'18), year: 2018
-
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2018
-
Challenges Arising from Prerequisite Testing in Cybersecurity Games
Proceedings of the 49th ACM Technical Symposium on Computer Science Education (SIGCSE’18), year: 2018
-
Implementation Notes for the Soft Cosine Measure
Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18), year: 2018
-
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2018
-
Joint Forces for Memory Safety Checking
Model Checking Software. SPIN 2018, year: 2018
-
Model Checking of C++ Programs Under the x86-TSO Memory Model
Formal Methods and Software Engineering, year: 2018