Search results
20 projects found matching your search criteria:
-
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Call: OPUS 16, Panel: ST6
-
2. Automatic reasoning about specifications in simple logics - decidability and complexity issues
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Call: OPUS 5, Panel: ST6
-
3. Limits of decidability in automata theory
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 4, Panel: ST6
-
Principal investigator: dr Włodzimierz Krzysztof Moczurad
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 2, Panel: ST6
-
5. Around Modal Logics - Decidability and Complexity
Principal investigator: Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 2, Panel: ST6
-
6. Deductive systems and decidability problem for hybrid logics
Principal investigator: dr Michał Ksawery Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: PRELUDIUM 1, Panel: HS1
-
7. Deciding the cell fate during UPR - are we barking up the wrong tree?
Principal investigator: prof. Rafał Artur Bartoszewski
Uniwersytet Wrocławski, Wydział Biotechnologii
Call: OPUS 19, Panel: NZ3
-
8. Decidability issues for automata on infinite structures
Principal investigator: prof. Damian Tadeusz Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 7, Panel: ST6
-
9. Everything I know: a syntactical approach to only-knowing
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Call: OPUS 29, Panel: ST6
-
10. Analysis of quantitative models of computation
Principal investigator: dr hab. Lorenzo Clemente
Uniwersytet Warszawski
Call: SONATA BIS 14, Panel: ST6
-
11. Decision Problems for Logics with Weak Forms of Recursion
Principal investigator: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Call: PRELUDIUM 23, Panel: ST6
-
12. Automation of the Problem of Unification in Description Logics
Principal investigator: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki
Call: POLONEZ BIS 3, Panel: ST6
-
Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 14, Panel: ST1
-
14. Sequent- and tableau-based proof systems for nonclassical logics
Principal investigator: prof. Andrzej Bogusław Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Call: OPUS 13, Panel: HS1
-
15. Quantitative properties for higher-order recursion schemes
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA BIS 6, Panel: ST6
-
16. A quest for new computer logics
Principal investigator: dr hab. Emanuel Grzegorz Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 11, Panel: ST6
-
17. Efficient algorithms for weak forms of non-determinism
Principal investigator: dr hab. Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 11, Panel: ST6
-
18. Weighted automata for quantitative properties
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 8, Panel: ST6
-
19. Participatory Budgeting - Success or Crisis of Local Democracy? Comparative Legal Study
Principal investigator: dr Urszula Kinga Zawadzka-Pąk
Uniwersytet w Białymstoku, Wydział Prawa
Call: SONATA 8, Panel: HS5
-
20. Numerical and structural invariants in algebra, logic and constraint satisfaction problems
Principal investigator: prof. Paweł Maria Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: MAESTRO 6, Panel: ST6