6 projects found matching your search criteria :
Languages and Learning in General Game Playing
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Interactions between model theory, topology and algebra
Call: OPUS 4 , Panel: ST1
Principal investigator: dr hab. Krzysztof Krupiński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Computational aspects of infinite-duration games
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Design of Distributed Algorithms in Highly Congested Networks
Call: OPUS 13 , Panel: ST6
Principal investigator: prof. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Arithmetic properties of formal groups
Call: OPUS 11 , Panel: ST1
Principal investigator: dr Mariia Vlasenko
Instytut Matematyczny Polskiej Akademii Nauk
Stoping methods in analysis of chosen algorithms
Call: OPUS 9 , Panel: ST6
Principal investigator: prof. Michał Morayne
Politechnika Wrocławska