Prelegent: Krzysztof Ziemiański

W swoim odczycie opowiem jak rozwijać teorię automatów w terminach presnopów na kategoriach skierowanych oraz o związkach automatów z topologią. Pokażę również tw. Kleene dla tzw. symetrycznych automatów wielowymiarowych.