10 projects found matching your search criteria :
Formal theories of truth and nonstandard models of arithmetic
Call: PRELUDIUM 7 , Panel: HS1
Principal investigator: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: HARMONIA 5 , Panel: ST3
Principal investigator: dr hab. Ryszard Buczyński
Instytut Technologii Materiałów Elektronicznych
Tests of the Standard Model predictions with rare light meson decays and the HADES@GSI spectrometer
Call: SONATA BIS 13 , Panel: ST2
Principal investigator: dr Marcin Zieliński
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Forcing axioms, inner models and determinacy
Call: MAESTRO 15 , Panel: ST1
Principal investigator: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Stożkowa Normalność Stanów Infra-próżniowych
Call: PRELUDIUM 20 , Panel: ST1
Principal investigator: Bartosz Biadasiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Call: OPUS 19 , Panel: ST2
Principal investigator: dr hab. Iwona Grabowska-Bołd
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
Call: OPUS 19 , Panel: ST1
Principal investigator: prof. Witold Marciszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Group Centrality Measures: Axioms, Algorithms and Applications
Call: OPUS 16 , Panel: ST6
Principal investigator: dr Oskar Skibski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic and Axiomatic Analysis of Committee Scoring Rules
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Extremal axioms: logical, mathematical and cognitive aspects
Call: OPUS 9 , Panel: HS1
Principal investigator: prof. Jerzy Pogonowski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki