Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKOMU)
- Project Identification
- MUNI/A/0765/2013
- Project Period
- 1/2014 - 12/2014
- 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. Michal Balážia, Ph.D.
- Mgr. Petr Bauch, Ph.D.
- RNDr. František Blahoudek, Ph.D.
- doc. RNDr. Jan Bouda, Ph.D.
- doc. RNDr. Tomáš Brázdil, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Jakub Gajarský, Ph.D.
- RNDr. Stanislav Chren, Ph.D.
- RNDr. David Klaška
- RNDr. Dalibor Klusáček, Ph.D.
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- prof. RNDr. Mojmír Křetínský, CSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Ing. Bc. Tomáš Majtner, Ph.D.
- RNDr. Zuzana Nevěřilová, Ph.D.
- doc. RNDr. Petr Novotný, Ph.D.
- prof. PhDr. Karel Pala, CSc.
- RNDr. Matej Pivoluska, Ph.D.
- doc. RNDr. Lubomír Popelínský, Ph.D.
- doc. Mgr. Hana Rudová, Ph.D.
- Mgr. Jiří Slabý, Ph.D.
- prof. Ing. Jiří Sochor, CSc.
- RNDr. Roman Stoklasa, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Vít Suchomel, Ph.D.
- doc. RNDr. David Svoboda, Ph.D.
- RNDr. Šimon Tóth
- RNDr. Pavel Troubil, Ph.D.
- Mgr. Marek Trtík, Ph.D.
- RNDr. Marek Vinkler, Ph.D.
- 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 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. 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: 29
2014
-
Chasing the Best Büchi Automata for Nested Depth-first Search Based Model Checking
11th Summer School on Modelling and Verification of Parallel Processes (MOVEP'14), year: 2014
-
Is there a best Büchi automaton for explicit model checking?
2014 International SPIN Symposium on Model Checking of Software, year: 2014
-
LTL Model Checking of LLVM Bitcode with Symbolic Data
Proceedings of MEMICS'14, year: 2014
-
Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy
Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, year: 2014
-
Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs
Intelligent Computer Mathematics CICM 2014. Proceedings of Calculemus, DML, MKM, and Systems and Projects, year: 2014
-
Media Streams Planning with Uncertain Link Capacities
IEEE 13th International Symposium on Network Computing and Applications NCA 2014, year: 2014
-
Minimizing Running Costs in Consumption Systems
Computer Aided Verification, year: 2014
-
Model Checking Parallel Programs with Inputs
Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), year: 2014
-
On Interactions Among Scheduling Policies: Finding Efficient Queue Setup Using High-Resolution Simulations
Euro-Par 2014, year: 2014
-
Probabilistic Bisimulation: Naturally on Distributions
CONCUR 2014 - Concurrency Theory - 25th International Conference, year: 2014