277 projects found matching your search criteria :
Probability of conditionals - a stochastic graph model
Call: OPUS 20 , Panel: HS1
Principal investigator: dr hab. Anna Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii
Mathematicized Scientific Theories and The Foundations of Applied Mathematics
Call: OPUS 20 , Panel: HS1
Principal investigator: dr Jeffrey Ketland
Uniwersytet Warszawski, Wydział Filozofii
Robust Formalisms for Quantitative Reasoning
Call: OPUS 20 , Panel: ST6
Principal investigator: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 16 , Panel: HS1
Principal investigator: dr Jacek Wawer
Uniwersytet Jagielloński, Wydział Filozoficzny
Logico-philosophical foundations of geometry and topology
Call: OPUS 20 , Panel: HS1
Principal investigator: dr hab. Rafał Gruszczyński
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Call: SONATA 16 , Panel: HS1
Principal investigator: dr Joanna Malinowska
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny
Exploring rhetorical strategies in a dialogue
Call: OPUS 2 , Panel: HS1
Principal investigator: dr hab. Katarzyna Budzyńska
INSTYTUT FILOZOFII I SOCJOLOGII PAN
Call: PRELUDIUM 19 , Panel: ST10
Principal investigator: Michał Wilkosz
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geologii, Geofizyki i Ochrony Środowiska
Call: OPUS 19 , Panel: HS1
Principal investigator: dr hab. Maciej Malicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Turing, Ashby, and "the Action of the Brain"
Call: OPUS 19 , Panel: HS1
Principal investigator: dr Hans-Joachim Greif
Politechnika Warszawska, Wydział Administracji i Nauk Społecznych
Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms
Call: OPUS 19 , Panel: ST6
Principal investigator: dr Michał Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 19 , Panel: HS1
Principal investigator: Aleksandra Gomułczak
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny
Call: OPUS 19 , Panel: ST1
Principal investigator: prof. Witold Marciszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Category-theoretic framework for the Fraissé-Jónsson construction
Call: OPUS 2 , Panel: ST1
Principal investigator: dr hab. Wiesław Kubiś
Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy
Around Modal Logics - Decidability and Complexity
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 19 , Panel: HS1
Principal investigator: Anna Petiurenko
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Call: ETIUDA 8 , Panel: HS1
Principal investigator: Agnieszka Proszewska
Uniwersytet Jagielloński, Wydział Filozoficzny
Theory Construction and the Empirical Social and Behavioral Sciences
Call: OPUS 18 , Panel: HS1
Principal investigator: dr hab. Frank Zenker
Politechnika Warszawska, Wydział Administracji i Nauk Społecznych
Intelligent approaches for facility layout problems in management, production, and logistics
Call: OPUS 18 , Panel: HS4
Principal investigator: dr hab. Rafał Michalski
Politechnika Wrocławska
Towards a cognitively plausible compositional model for natural language quantification
Call: OPUS 18 , Panel: HS1
Principal investigator: dr hab. Justyna Grudzińska-Zawadowska
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Logics for qualitative reasoning
Call: MAESTRO 1 , Panel: HS1
Principal investigator: dr hab. Joanna Golińska-Pilarek
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Sāṁkhya Epistemology: Perception and Inference in Classical and Postclassical Sāṁkhya
Call: OPUS 18 , Panel: HS1
Principal investigator: dr Ołena Łucyszyna
Akademia Humanistyczno-Ekonomiczna w Łodzi
Network modelling of multispecies systems. Ontological and epistemological implications
Call: OPUS 18 , Panel: HS1
Principal investigator: dr Javier Suárez
Uniwersytet Jagielloński, Wydział Filozoficzny
Truth: Between Disquotation and Compositionality.
Call: SONATA 15 , Panel: HS1
Principal investigator: dr Mateusz Łełyk
Uniwersytet Warszawski
Scientific Progress in Jurisprudence
Call: OPUS 18 , Panel: HS5
Principal investigator: dr Mateusz Klinowski
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Classification problems in topological dynamics and ergodic theory
Call: PRELUDIUM BIS 1 , Panel: ST1
Principal investigator: dr hab. Dominik Kwietniak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Set theoretic methods in dynamics and number theory
Call: SONATA BIS 9 , Panel: ST1
Principal investigator: dr hab. William Mance
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Epistemic inaccuracy and foundational issues in formal epistemology
Call: SONATA BIS 9 , Panel: HS1
Principal investigator: dr hab. Leszek Wroński
Uniwersytet Jagielloński, Wydział Filozoficzny
Epistemic and semantic commitments of foundational theories
Call: MAESTRO 11 , Panel: HS1
Principal investigator: dr hab. Cezary Cieśliński
Uniwersytet Warszawski
Self-subsisting structures in quantum gravity
Call: OPUS 17 , Panel: HS1
Principal investigator: dr Antonio Vassallo
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Logic operations in spin-polarized semi-magnetic exciton-polariton condensates
Call: PRELUDIUM 17 , Panel: ST3
Principal investigator: Rafał Mirek
Uniwersytet Warszawski, Wydział Fizyki
Bernard Bolzano and cognitive science
Call: PRELUDIUM 17 , Panel: HS1
Principal investigator: Marlena Fila
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Matematyczno-Fizyczno-Techniczny
Call: PRELUDIUM 1 , Panel: HS3
Principal investigator: Filip Wróblewski
Uniwersytet Jagielloński, Wydział Historyczny
Vitalism in Early Modern Medical Philosophy - Thomas Willis and Material Soul
Call: PRELUDIUM 16 , Panel: HS1
Principal investigator: dr Marcin Leszczyński
Uniwersytet Łódzki, Centrum Filozofii Przyrody
Call: OPUS 16 , Panel: HS1
Principal investigator: dr hab. Piotr Błaszczyk
Uniwersytet Komisji Edukacji Narodowej w Krakowie
Algorithmic models of prediction: formal properties and philosophical implications
Call: OPUS 16 , Panel: HS1
Principal investigator: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Group actions and model theory
Call: OPUS 16 , Panel: ST1
Principal investigator: prof. Piotr Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 16 , Panel: HS1
Principal investigator: prof. Elżbieta Jung
Uniwersytet Łódzki, Centrum Filozofii Przyrody
Call: OPUS 16 , Panel: ST6
Principal investigator: dr hab. Lidia Tendera
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Infinity in reasoning about data and knowledge
Call: SONATA BIS 8 , Panel: ST6
Principal investigator: dr hab. Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Geometric and Measured Group Theory 2
Call: HARMONIA 10 , Panel: ST1
Principal investigator: dr Damian Osajda
Instytut Matematyczny Polskiej Akademii Nauk
Call: OPUS 15 , Panel: HS1
Principal investigator: dr hab. Tadeusz Ciecierski
Uniwersytet Warszawski, Wydział Filozofii
Machine learning and automatic theorem proving
Call: OPUS 15 , Panel: ST6
Principal investigator: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Model-theoretic methods in logic and the foundations of mathematics and science
Call: OPUS 15 , Panel: HS1
Principal investigator: dr Jeffrey Ketland
Uniwersytet Warszawski, Wydział Filozofii
Comparative analysis of structural representation methods. Case study: Ontic Structural Realism
Call: PRELUDIUM 15 , Panel: HS1
Principal investigator: Agnieszka Proszewska
Uniwersytet Jagielloński, Wydział Filozoficzny
Deductive systems and decidability problem for hybrid logics
Call: PRELUDIUM 1 , Panel: HS1
Principal investigator: dr Michał Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Abstract methods in Banach space theory.
Call: OPUS 15 , Panel: ST1
Principal investigator: prof. Grzegorz Plebanek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Research on sorption processes intensification methods in modified constructions of adsorbent beds
Call: OPUS 15 , Panel: ST8
Principal investigator: dr hab. Jarosław Krzywański
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych
Eksperymenty myślowe w filozofii: geneza, struktura, funkcje
Call: ETIUDA 6 , Panel: HS1
Principal investigator: Piotr Biłgorajski
Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii
Effective computations in predicative mathematics
Call: SONATINA 2 , Panel: ST6
Principal investigator: dr Michał Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki