Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 19
(SKOMU)
- Project Identification
- MUNI/A/1040/2018
- Project Period
- 1/2019 - 12/2019
- 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.
- prof. RNDr. Luboš Brim, CSc.
- RNDr. Jaroslav Čechák, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Zuzana Ferková, Ph.D.
- RNDr. Katarína Furmanová, Ph.D.
- RNDr. Stanislav Chren, Ph.D.
- RNDr. Martin Jonáš, Ph.D.
- doc. RNDr. Barbora Kozlíková, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Filip Lux
- Mgr. Juraj Major
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- RNDr. Jan Mrázek
- Mgr. Stanislav Murín
- RNDr. Tereza Nečasová
- RNDr. Matúš Nemec, Ph.D.
- RNDr. Samuel Pastva, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- doc. RNDr. Vojtěch Řehák, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Filip Škola, Ph.D.
- RNDr. Valdemar Švábenský, Ph.D.
- RNDr. Martin Ukrop, Ph.D.
- RNDr. Bc. Dominik Velan, Ph.D.
- RNDr. David Wiesner, Ph.D.
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. Každoročně 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 vědecké přípravy k tomuto cíli. Podporovaná vědecká příprava studentů zahrnuje jejich aktivní účast na kvalitních tematicky zaměřených mezinárodních odborných školách, možnost částečné podpory odůvodněné dlouhodobé mezinárodní mobility doktorských studentů FI a také krátkodobé zvané přednáškově-výzkumné pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publications
Total number of publications: 24
2019
-
LTL to Smaller Self-Loop Alternating Automata and Back
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings, year: 2019
-
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, year: 2019
-
Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, year: 2019
-
Multimodal Point Distribution Model for Anthropological Landmark Detection
26th IEEE International Conference on Image Processing (ICIP2019), year: 2019
-
On conflict-free chromatic guarding of simple polygons
13th Annual International Conference on Combinatorial Optimization and Applications (COCOA'19), year: 2019
-
Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem
Proceedings of the 40th IEEE Symposium on Security and Privacy, year: 2019
-
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors
CAV 2019: Computer Aided Verification, year: 2019
-
Reflective Diary for Professional Development of Novice Teachers
Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE’19), year: 2019
-
RoFICoM - First Open-Hardware Connector for Metamorphic Robots
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), year: 2019
-
Scheduling & routing by constraint programming & heuristics
Proceedings of the Doctoral Program of the 25th International Conference on Principles and Practice of Constraint Programming, year: 2019