====== Prezentace výsledků projektu ======

Kromě vypracování veřejné tiskové zprávy s odkazem na tuto stránku proběhla prezentace výsledků projektu formou aktivní a pasivní účasti na konferencích.

===== Konference =====

Projekt byl představen na národní konferenci Pedagogický Software 2006 v Českých Budějovicích a byla vytvořena veřejná tisková zpráva obsahující webovou adresu na tyto stránky, kde naleznete vše potřebné pro využivání výsledků projektu:
  * Pedagogický software 2006 (**PS'06**) v Českých Budějovicích
    * červen 2006, národní konference zaměřená na projekty FRVŠ
    * [[http://www.zf.jcu.cz/PS06/ (již nedostupné)]]

Dále se řešitel a 2. spoluřešitel zůčastnili několika národních konferencí s mezinárodní účastí pro rozšíření vlastních vědomostí v oboru formální jazyky a obecně formální modely:
  * Proceedings of the 12th Conference and Competition STUDENT EEICT (**EEICT'06**) v Brně
    * duben 2006, fakultní konference (FIT a FEKT VUT Brno)
    * [[http://www.feec.vutbr.cz/EEICT]]
  * Proceedings of 1st International Workshop on Formal Models (**WFM'06**) v Přerově
    * duben 2006, mezinárodní seminář s mezinárodní účastí
    * [[http://www.isim.cz/wfm2006]]
  * 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (**MEMICS'06**) ve Znojmě
    * říjen 2006, doktorandská mezinárodní konference s hojnou mezinárodní účastí
    * [[http://www.fit.vutbr.cz/events/memics06]]





===== Publikace =====
Na výše zmíněných konferencích byly publikovány následující příspěvky za podpory tohoto projektu (FRVŠ FR1909/2006/G1):
  * Křivka, Z., Schönecker, R.: **Reducing Deep Pushdown Automata**, In: //Proceedings of the 12th Conference and Competition STUDENT EEICT// 2006 Volume 4, Brno, CZ, FIT VUT, 2006, s. 365-369, ISBN 80-214-3163-6,
    * [Dostupné na URL [[http://www.fit.vutbr.cz/research/view_pub.php?id=8046]]]
      * {{.presentation:paper_eeict2006.pdf|EEICT'06 Příspěvek}}
      * {{.presentation:presentation_eeict2006.pdf|EEICT'06 Prezentace}}

  * Křivka, Z., Schönecker, R.: **String-Partitioning Systems and An Infinite Hierarchy**, In: //Proceedings of 1st International Workshop on Formal Models// (WFM'06), Ostrava, CZ, MARQ, 2006, s. 53-60, ISBN 80-86840-20-4,
    * [Dostupné na URL [[http://www.fit.vutbr.cz/research/view_pub.php?id=8045]]] 
      * {{.presentation:paper_wfm2006.pdf|WFM'06 Příspěvek}}
      * {{.presentation:presentation_wfm2006.pdf|WFM'06 Prezentace}}

  * Křivka, Z., Lukáš, R., Meduna, A.: **Didaktické demonstrace modelů pro popis formálních jazyků**, In: //Pedagogický software// 2006, České Budějovice, CZ, ZF JU, 2006, s. 54-56, ISBN 80-85645-56-4,
    * [Dostupné na URL [[http://www.fit.vutbr.cz/research/view_pub.php?id=8102]]]
      * {{.presentation:paper_ps2006.pdf|PS'06 Příspěvek}}
      * {{.presentation:presentation_ps2006poster.ppt|PS'06 Poster (prezentace)}}