Ve dnech 26. - 27. listopadu 2013 proběhne na Ústavu informatiky mezinárodní minikonference "Automaty a optimalizace". Konferenci zahájí příspěvkem Galina Jirásková, Ph.D. z Matematického ústavu Slovenské akademie věd. Mezi dalšími přednášejícími vystoupí RNDr. Jozef Jirásek, Ph.D. a Juraj Šebej z Ústavu informatiky Přírodovědecké fakutly Univerzity Pavla Jozefa Šafárika v Košicích, Mgr. Matúš Palmovský z Matematického ústavu Slovenské akademie věd.

Předběžný program:

26.11.2013

14.15 - 15.00 Galina Jirásková: O dvoch problémoch Jeffa Shallita
15.00 – 15.30 Juraj Šebej: Reversal regulárnych jazykov a stavová zložitosť
15.30 – 16.00 Matúš Palmovský: Kleeneho uzáver a stavová zložitosť.


27.11.2013
9.30 – 10.15 Alice Kelemenová: Usmernitelné automaty, Černého hypotéza a inverzný    problém.
10.15 - 10.45 Petr Rucký: Experimenty s usměrnitelnými automaty
10.45 – 11.30 Jozef Jirásek: Bezpečnosť kryptografických protokolov

Přednášky proběhnou v zasedací místnosti děkana,  v  budově Bezručovo náměstí 13.

Jste srdečně zváni.