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
-
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis
Computer Aided Verification - 25th International Conference, CAV 2013, year: 2013
-
Automatic Detection of Concepts from Problem Solving Times
Artificial Intelligence in Education, year: 2013
-
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, year: 2013
-
Compact Symbolic Execution
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, year: 2013
-
Comparison of LTL to Deterministic Rabin Automata Translators
Logic for Programming Artificial Intelligence and Reasoning, LPAR-19, year: 2013
-
Compositional Approach to Suspension and Other Improvements to LTL Translation
Model Checking Software - 20th International Symposium, SPIN 2013, year: 2013
-
Compositional Verification and Optimization of Interactive Markov Chains
CONCUR 2013 - Concurrency Theory - 24th International Conference, year: 2013
-
DCCL: Verification of Component Systems with Ensembles
CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, year: 2013
-
DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs
Computer Aided Verification 2013, year: 2013
-
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, year: 2013