Projects funded by the NCN

Machine learning and automatic theorem proving

Call: OPUS 15 , Panel: ST6

Principal investigator: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Deep Neural Architectures for Automated Theorem Proving

Call: PRELUDIUM 15 , Panel: ST6

Principal investigator: Bartosz Paweł Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

Call: SONATA BIS 7 , Panel: HS1

Principal investigator: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Finding Applications for Logic with Partial Functions

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Jean Marie de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automatisation of constructive logic

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

Call: MAESTRO 2 , Panel: HS1

Principal investigator: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Decision procedures in verification

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki