Projects funded by the NCN

Weighted automata for quantitative properties

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Numerical and structural invariants in algebra, logic and constraint satisfaction problems

Call: MAESTRO 6 , Panel: ST6

Principal investigator: prof. Paweł Maria Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Decidability issues for automata on infinite structures

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Damian Tadeusz Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Limits of decidability in automata theory

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Everything I know: a syntactical approach to only-knowing

Call: OPUS 29 , Panel: ST6

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Analysis of quantitative models of computation

Call: SONATA BIS 14 , Panel: ST6

Principal investigator: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Z^2 codes: decidability and verification algorithms, defect effect, asymptotic density, tilings, weak codes

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Włodzimierz Krzysztof Moczurad

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Automation of the Problem of Unification in Description Logics

Call: POLONEZ BIS 3 , Panel: ST6

Principal investigator: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

Around Modal Logics - Decidability and Complexity

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

Call: OPUS 16 , Panel: ST6

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

Call: OPUS 14 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Sequent- and tableau-based proof systems for nonclassical logics

Call: OPUS 13 , Panel: HS1

Principal investigator: prof. Andrzej Bogusław Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Quantitative properties for higher-order recursion schemes

Call: SONATA BIS 6 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

A quest for new computer logics

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efficient algorithms for weak forms of non-determinism

Call: SONATA 11 , Panel: ST6

Principal investigator: dr hab. Michał Paweł Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki