92 projects found matching your search criteria :
Call: PRELUDIUM 9 , Panel: HS4
Principal investigator: Liwiusz Wojciechowski
Uniwersytet Ekonomiczny w Krakowie, Wydział Ekonomii i Stosunków Międzynarodowych
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Marcin Zalasiński
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: SONATA 8 , Panel: ST10
Principal investigator: dr Jarosław Waroszewski
Uniwersytet Przyrodniczy we Wrocławiu, Wydział Przyrodniczo-Technologiczny
Unified theory of coreference in Polish and its corpus-based verification
Call: OPUS 8 , Panel: HS2
Principal investigator: dr Maciej Ogrodniczuk
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Logics for data analysis and verification
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 7 , Panel: HS5
Principal investigator: dr Karol Olejniczak
Uniwersytet Warszawski, Instytut Ameryk i Europy
Identity fusion and its consequences for attitudes and behaviors.
Call: SONATA 1 , Panel: HS6
Principal investigator: dr Tomasz Besta
Uniwersytet Gdański, Wydział Nauk Społecznych
New concepts of equilibria in dynamic games and their economic applications
Call: OPUS 6 , Panel: HS4
Principal investigator: dr hab. Agnieszka Wiszniewska-Matyszkiel
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
From a stronghold to a castle - new methods and research perspectives
Call: PRELUDIUM 6 , Panel: HS3
Principal investigator: dr Maria Legut-Pintal
Politechnika Wrocławska, Wydział Architektury
Specification development and software verification
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The verification of canon law standards regarding impediments to marriage
Call: OPUS 6 , Panel: HS5
Principal investigator: prof. Wojciech Góralski
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Prawa Kanonicznego
Call: PRELUDIUM 1 , Panel: ST7
Principal investigator: dr Dominik Belter
Politechnika Poznańska, Wydział Elektryczny
Call: OPUS 6 , Panel: ST10
Principal investigator: prof. Jolanta Nastula
Centrum Badań Kosmicznych PAN
Call: SONATA BIS 3 , Panel: NZ1
Principal investigator: dr hab. Anna Pasternak
Instytut Chemii Bioorganicznej PAN
Call: OPUS 5 , Panel: ST10
Principal investigator: dr hab. Helena Hercman
Instytut Nauk Geologicznych PAN
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 5 , Panel: HS5
Principal investigator: dr hab. Marcin Kamiński
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Verification of a novel mechanism of a mitochondrial diseases development
Call: PRELUDIUM 5 , Panel: NZ5
Principal investigator: Magdalena Kaliszewska
Uniwersytet Warszawski, Wydział Biologii
Call: OPUS 5 , Panel: NZ9
Principal investigator: dr hab. Dorota Fopp-Bayat
Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Nauk o Środowisku
Call: PRELUDIUM 5 , Panel: ST3
Principal investigator: Natalia Woźnica
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
Call: PRELUDIUM 5 , Panel: ST4
Principal investigator: dr Piotr Wcisło
Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: HARMONIA 4 , Panel: ST2
Principal investigator: prof. Barbara Wosiek
Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego PAN
Call: OPUS 4 , Panel: ST9
Principal investigator: prof. Stanisław Zoła
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: OPUS 4 , Panel: HS6
Principal investigator: dr hab. Piotr Radkiewicz
Instytut Psychologii PAN
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Łukasz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 4 , Panel: ST8
Principal investigator: dr hab. Andrzej Pawełek
Instytut Metalurgii i Inżynierii Materiałowej im. Aleksandra Krupkowskiego PAN
Litanic Verse in the Culture of European Regions
Call: SONATA BIS 2 , Panel: HS2
Principal investigator: dr hab. Witold Sadowski
Uniwersytet Warszawski, Wydział Polonistyki
Call: OPUS 1 , Panel: HS4
Principal investigator: prof. Bogusława Drelich-Skulska
Uniwersytet Ekonomiczny we Wrocławiu, Wydział Nauk Ekonomicznych
Call: OPUS 3 , Panel: ST10
Principal investigator: dr hab. Grzegorz Różyński
Instytut Budownictwa Wodnego PAN
Verification of the role of Wnts in the maintenance of pluripotency of embryonic stem cells
Call: SONATA 3 , Panel: NZ3
Principal investigator: dr Karolina Archacka
Uniwersytet Warszawski, Wydział Biologii
Interaction between VDAC and minocycline: experimental verification of minocycline binding by VDAC
Call: PRELUDIUM 3 , Panel: NZ1
Principal investigator: dr Andonis Karachitos
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii
Call: PRELUDIUM 2 , Panel: ST4
Principal investigator: dr Anna Hoser
Uniwersytet Warszawski, Wydział Chemii
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Włodzimierz Moczurad
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 25 , Panel: ST4
Principal investigator: dr Marta Szabat
Instytut Chemii Bioorganicznej Polskiej Akademii Nauk
Call: PRELUDIUM 22 , Panel: ST10
Principal investigator: Paula Sierpień
Instytut Nauk Geologicznych Polskiej Akademii Nauk
Towards a useful quantum advantage
Call: Quant-ERA II Call 2023 , Panel: ST2
Principal investigator: dr hab. Michał Oszmaniec
Naukowa i Akademicka Sieć Komputerowa - Państwowy Instytut Badawczy
Call: OPUS 25 , Panel: HS4
Principal investigator: dr hab. Liliana Hawrysz
Politechnika Wrocławska
Call: OPUS 2 , Panel: HS6
Principal investigator: prof. Ewa Pisula
Uniwersytet Warszawski, Wydział Psychologii
Call: PRELUDIUM BIS 4 , Panel: ST8
Principal investigator: prof. Anna Trusek
Politechnika Wrocławska
Counting models in formal verification
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 23 , Panel: ST3
Principal investigator: prof. Andrzej Jeżowski
Instytut Niskich Temperatur i Badań Strukturalnych im. Włodzimierza Trzebiatowskiego Polskiej Akademii Nauk
Call: PRELUDIUM 21 , Panel: HS3
Principal investigator: Jagoda Mizerka
Instytut Archeologii i Etnologii Polskiej Akademii Nauk
Call: SONATA 17 , Panel: ST2
Principal investigator: dr Marcin Patecki
Politechnika Warszawska
VERIfication of quantum Technologies, Applications and Systems
Call: Quant-ERA II Call 2021 , Panel: ST2
Principal investigator: dr hab. Remigiusz Augusiak
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
Frontiers of automatic analysis of concurrent systems
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 21 , Panel: ST10
Principal investigator: dr hab. Krzysztof Michalski
Instytut Geofizyki Polskiej Akademii Nauk
Call: OPUS 21 , Panel: NZ5
Principal investigator: dr hab. Katarzyna Piwocka
Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk
Decision procedures in verification
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 20 , Panel: HS4
Principal investigator: dr hab. Patrycja Klimas
Uniwersytet Ekonomiczny we Wrocławiu, Wydział Zarządzania