|
Znojmo 14.-17.10.2005 The aim of MEMICS is to provide a forum for doctoral and
graduate students interested in applications of mathematical and
engineering methods in computer science. Undergraduate students
interested in conducting their PhD studies in Brno are encouraged to
participate too. Submissions are sought
especially in the following areas: parallel and distributed computing,
GRID computing, models and techniques for formal verification, theory
of formal languages, quantum computing, advanced issues in digital
data processing. The MEMICS 2005 workshop is organized jointly by
the Faculty of Informatics, Masaryk University in Brno and the Faculty
of Information Technology, Brno University of Technology.
Organizing Committee (members from FIT)Vojnar Tomáš, prof. Ing., Ph.D., chairman
Programme Committee (members from FIT)Češka Milan, prof. RNDr., CSc., chairman
Švéda Miroslav, prof. Ing., CSc.
Vojnar Tomáš, prof. Ing., Ph.D.
Section moderators (members from FIT)Češka Milan, prof. RNDr., CSc.
Hanáček Petr, doc. Dr. Ing.
Švéda Miroslav, prof. Ing., CSc.
Vojnar Tomáš, prof. Ing., Ph.D.
Selected publications
| 2005 | Bidlo Radek, Blatný Petr, Meduna Alexander: Formal Models over Free Groups, In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2005, p. 193-199 |
| | Erlebach Pavel: Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures, In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2005, p. 145-154 |
| | Křivka Zbyněk: Recursive Erasing in Programmed Grammars, In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, FI MUNI, 2005, p. 139-144 |
| | Lorenc Luboš, Meduna Alexander: Self-Reproducing Translation Made by Pushdown Transducers, In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2005, p. 59-67 |
| | Lukáš Roman, Meduna Alexander: Multigenerative Grammar Systems, In: Pre-proceedings 1st Doctoral Workshop on Mathematical and Engineering Methods in Comupter Science (MEMICS 2005), Brno, CZ, FI MUNI, 2005, p. 85-87 |
| | Novosad Petr: Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets, In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2005, p. 106-113 |
| | Očenášek Pavel: Towards Selected Problems in the Security Protocol Design and Verification, In: Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005), Brno, CZ, FI MUNI, 2005, p. 9 |
| | Pečenka Tomáš: Generating Synthetic Benchmark Circuits with Predefined Testability Properties, In: Pre-Proc. 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, 2005, p. 200-209 |
| | Slavíček Pavel: Distributed simulation environment, In: MEMICS 2005, Znojmo, CZ, 2005, p. 114-120 |
| | Techet Jiří: Scattered Context Generators of Sentences with Their Parses, In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, FI MUNI, 2005, p. 68-77 |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)