Projects funded by the NCN

Frontiers of automatic verification: new methods of analysis of infinite-state systems

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Fixed-points methods in controllability of nonlinear systems.

Call: OPUS 4 , Panel: ST7

Principal investigator: prof. Jerzy Klamka

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

On the border of impossible in classical automata theory

Call: OPUS 28 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski

Rigorous numerical methods for Functional Differential Equations

Call: OPUS 25 , Panel: ST6

Principal investigator: dr Robert Szczelina

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

Call: OPUS 19 , Panel: ST6

Principal investigator: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Infinity in reasoning about data and knowledge

Call: SONATA BIS 8 , Panel: ST6

Principal investigator: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Fundamental thermodynamic and physicochemical measurements of systems with ionic liquids for the extraction and separati...

Call: OPUS 12 , Panel: ST5

Principal investigator: prof. Urszula Maria Domańska-Żelazna

Politechnika Warszawska, Wydział Chemiczny

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki