6 projects found matching your search criteria :
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Aleksandra Gruca
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Limits of decidability in automata theory
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Krzysztof Kaczor
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Classical problems in the theory of finite automata: new approaches, variants, and applications
Call: OPUS 13 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Separability problem in automata theory
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Wojciech Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 10 , Panel: HS1
Principal investigator: dr Bartosz Kaluziński
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych