W ramach projektu "W poszukiwaniu nowych logik komputerowych" (OPUS 2016/21/B/ST6/01444) kierowanego przez dr. hab. Emanuela Kierońskiego został ogłoszony konkurs na stypendia naukowe. Wybrany kandydat będzie uczestniczył w badaniach naukowych dotyczących rozstrzygalności i złożoności obliczeniowej logik motywowanych informatyką. Szczegółowe informacje znajdują się w załączonym pliku.