Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKOMU)
- Project Identification
- MUNI/A/0758/2011
- Project Period
- 1/2012 - 12/2012
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- Category A
- MU Faculty or unit
- Faculty of Informatics
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. Předkládaný projekt je zaměřen právě na podporu aktivní účasti doktorských a magisterských studentů FI na takových š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. V neposlední řadě náš projekt předpokládá i krátkodobé zvané pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publications
Total number of publications: 24
2012
-
Sequence Chart Studio: user-friendly drawing and verification tool for MSC
Year: 2012
-
Verification of Open Interactive Markov Chains
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), year: 2012
-
Weak randomness completely trounces the security of QKD
Year: 2012, type: Conference abstract
-
When Trees Grow Low: Shrubs and Fast MSO1
Math Foundations of Computer Science MFCS 2012, year: 2012