Project information
Posílení zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKONF)
- Project Identification
- MUNI/A/0057/2011
- Project Period
- 3/2011 - 12/2011
- 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: 23
2011
-
Efficient Loop Navigation for Symbolic Execution
Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, year: 2011
-
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
CONCUR 2011 - Concurrency Theory: 22nd International Conference, year: 2011
-
Indexing and Searching Mathematics in Digital Libraries -- Architecture, Design and Scalability Issues
Intelligent Computer Mathematics Lecture Notes in Computer Science, 2011, Volume 6824/2011, year: 2011
-
Math Indexer and Searcher
Year: 2011
-
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, year: 2011
-
Modular System for Haptic Interaction with Multi-contact Collision Detection
Proceedings of the 11th International Conference on Computational Science and Its Applications (ICCSA), year: 2011
-
New path planning method for computation of constrained dynamic channels in proteins
WSCG Full papers proceedings, year: 2011
-
Parametric Modal Transition Systems
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, year: 2011
-
Scope-Based Route Planning
ESA’11: Proceedings of the 19th conference on Annual European Symposium, year: 2011
-
The Art of Mathematics Retrieval
Proceedings of the 2011 ACM Symposium on Document Engineering, year: 2011