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.

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

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]
    • EEICT'06 Příspěvek
    • 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]
    • WFM'06 Příspěvek
    • 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]
    • PS'06 Příspěvek
    • PS'06 Poster (prezentace)