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
-
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, year: 2018
-
Symbiotic 5: Boosted Instrumentation (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II, year: 2018
-
Symbolic Computation via Program Transformation
Theoretical Aspects of Computing – ICTAC 2018, year: 2018
-
Timely Feedback in Unstructured Cybersecurity Exercises
Proceedings of Special Interest Group on Computer Science Education, Baltimore, Maryland, USA, February 21–24, 2018(SIGCSE’18), year: 2018
-
WalDis: Mining Discriminative Patterns within Dynamic Graphs
IDEAS '18 Proceedings of the 22nd International Database Engineering & Applications Symposium, year: 2018