Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKOMU)
- Project Identification
- MUNI/A/0739/2012
- Project Period
- 1/2013 - 12/2013
- 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.
- RNDr. Tomáš Babiak, Ph.D.
- prof. RNDr. Jiří Barnat, Ph.D.
- RNDr. František Blahoudek, Ph.D.
- doc. RNDr. Tomáš Brázdil, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- prof. RNDr. Ivana Černá, CSc.
- Mgr. Sven Dražan
- RNDr. Jakub Gajarský, Ph.D.
- Mgr. Vojtěch Havel
- doc. RNDr. Aleš Horák, Ph.D.
- RNDr. Miloš Jakubíček, Ph.D.
- Mgr. Juraj Jurčo
- RNDr. Petr Kosina, Ph.D.
- RNDr. Štěpán Kozák
- prof. RNDr. Michal Kozubek, Ph.D.
- RNDr. Jan Krčál, Ph.D.
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- Mgr. Milan Lenčo
- RNDr. Martin Líška
- Mgr. Matúš Madzin
- RNDr. Jiří Materna, Ph.D.
- Mgr. Juraj Nižnan
- prof. PhDr. Karel Pala, CSc.
- doc. Mgr. Radek Pelánek, Ph.D.
- doc. RNDr. Lubomír Popelínský, Ph.D.
- RNDr. Petr Ročkai, Ph.D.
- RNDr. Jiří Řihák, Ph.D.
- Mgr. Jiří Slabý, Ph.D.
- doc. RNDr. Petr Sojka, Ph.D.
- RNDr. Roman Stoklasa, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Mária Svoreňová, Ph.D.
- doc. RNDr. David Šafránek, Ph.D.
- Mgr. Zdeňka Šeděnka
- RNDr. Vladimír Štill, Ph.D.
- Mgr. Marek Trtík, Ph.D.
- Bc. Martin Vlach
- Mgr. Jiří Weiser
- prof. Ing. Pavel Zezula, CSc.
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é přednáškově-výzkumné pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publications
Total number of publications: 21
2013
-
Efficiency and Security in Similarity Cloud Services
Proceedings of the VLDB Endowment, Volume 6, Issue 12, year: 2013
-
Enhancing Czech Parsing with Verb Valency Frames
CICLing 2013, year: 2013
-
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, year: 2013
-
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
CONCUR 2013 - Concurrency Theory - 24th International Conference, year: 2013
-
Kernelization Using Structural Parameters on Sparse Graph Classes
ESA 2013, year: 2013
-
MoTraS: A Tool for Modal Transition Systems and Their Extensions
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, year: 2013
-
Parameter Estimation for LDA-Frames
Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, year: 2013
-
Parameterized Algorithms for Modular-Width
Parameterized and Exact Computation, year: 2013
-
Planar Emulators Conjecture Is Nearly True for Cubic Graphs
The Seventh European Conference on Combinatorics, Graph Theory and Applications - Eurocomb 2013, year: 2013
-
Rabinizer 2: Small Deterministic Automata for LTL\GU
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, year: 2013