Seminarium poświęcone będzie automatom synchronizowalnym, to znaczy takim, dla których istnieje słowo nad alfabetem automatu sprowadzające wszystkie stany do jednego (słowo synchronizujące). Z automatami tymi wiąże się jeden z najstarszych nierozwiązanych problemów informatyki, hipoteza Cernego, mówiąca o tym, że każdy automat synchronizowalny o n stanach ma słowo synchronizujące nie dłuższe niż (n-1)^2. Automaty takie można badać kombinatorycznie jako pewne specjalne grafy lub algebraicznie jako półgrupy przekształceń. Problematyka ma też aspekt algorytmiczno-obliczeniowy.
Seminarium będzie miało charakter przeglądowo-badawczy. Część wprowadzająca umożliwi uczestnikom zorientowanie się w problematyce. W dalszym ciągu rozważane będą różne otwarte problemy badawcze. Seminarium przeznaczone jest dla doktorantów, a także dla ambitnych studentów, chcących napisać ciekawą pracę magisterską z zakresu informatyki teoretycznej.
Żadna specjalna wiedza nie jest wymagana, chociaż wszelka orientacja w dziedzinach teorii automatów, teorii grafów, kombinatoryki i algebry będzie oczywiście pomocna. Osoby zainteresowane proszę o osobisty kontakt e-mailowy.
