22.05.2017 - Seminarium Instytutowe - godz. 13:00, Wit Foryś (Instytutu Informatyki Uniwersytetu Jagiellońskiego w Krakowie)
Referat jest próbą zwięzłego przedstawienia wybranych problemów badawczych wchodzących w krąg działalności naukowej prelegenta oraz uzyskanych rezultatów. Tematyka badań lokuje się w ramach języków formalnych i automatów, obejmując także modelowanie dynamiki procesów sekwencyjnych i równoległych. Dla wszystkich punktem wyjścia jest pojęcie słowa.