Search results
29 projects found matching your search criteria:
-
1. Compression, logic, formal langauges: new approaches unifying different areas.
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 8, Panel: ST6
-
2. Efficient algorithms and representations in formal languages and automata theory.
Principal investigator: dr Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 1, Panel: ST6
-
Principal investigator: dr Ewa Barbara Kozioł-Chrzanowska
Uniwersytet Warszawski, Wydział Polonistyki
Call: PRELUDIUM 3, Panel: HS2
-
4. From a multilingual parallel corpus to the micro-typology of the PERFECT in Baltic and Slavic
Principal investigator: dr Dorota Emilia Klimek-Jankowska
Uniwersytet Wrocławski, Wydział Neofilologii
Call: SONATA BIS 11, Panel: HS2
-
Principal investigator: dr hab. Piotr Łukowski
Uniwersytet Łódzki, Wydział Nauk o Wychowaniu
Call: OPUS 9, Panel: HS1
-
6. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 2, Panel: ST6
-
7. Development of rule-based query languages applied in intelligent systems
Principal investigator: prof. Andrzej Piotr Szałas
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 1, Panel: ST6
-
8. A formal treatment of epistemic injustice
Principal investigator: dr Christoph Merdes
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: POLONEZ BIS 2, Panel: HS1
-
9. Epistemic inaccuracy and foundational issues in formal epistemology
Principal investigator: dr hab. Leszek Jerzy Wroński
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: SONATA BIS 9, Panel: HS1
-
10. Abstract Machines for Programming Languages: Investigations in Formal Interderivations
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 17, Panel: ST6
-
11. Niestandardowe modele arytmetyki i formalne teorie prawdy
Principal investigator: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii
Call: ETIUDA 5, Panel: HS1
-
12. A diachronic formal model of Polish inflection and its implementation
Principal investigator: dr Marcin Marian Woliński
Instytut Podstaw Informatyki PAN
Call: OPUS 8, Panel: HS2
-
13. Reasoning about programs in higher-order languages
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 8, Panel: ST6
-
14. Formal theories of truth and nonstandard models of arithmetic
Principal investigator: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: PRELUDIUM 7, Panel: HS1
-
15. Languages and Learning in General Game Playing
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 7, Panel: ST6
-
Principal investigator: prof. Jacek Ireneusz Witkoś
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki
Call: OPUS 4, Panel: HS2
-
17. Algorithms concerning the legibility of natural deduction proofs
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Call: PRELUDIUM 4, Panel: ST6
-
18. Separability problem in automata theory
Principal investigator: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 11, Panel: ST6
-
19. Algebraic effects: composition and coinduction
Principal investigator: dr Maciej Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 14, Panel: ST6
-
20. Reinterpreting anaphora: towards ambiguity-first approach
Principal investigator: Antonina Weronika Jamrozik
Uniwersytet Warszawski, Wydział Filozofii
Call: PRELUDIUM 20, Panel: HS1
-
21. Finite automata: selected problems and applications connecting different areas
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 21, Panel: ST6
-
22. Classical problems in the theory of finite automata: new approaches, variants, and applications
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 13, Panel: ST6
-
23. Challenges in semistructural data management
Principal investigator: dr Filip Marek Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 6, Panel: ST6
-
24. Asymptotic methods in lambda calculus and combinatory logic
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 6, Panel: ST6
-
25. Limits of decidability in automata theory
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 4, Panel: ST6
-
26. Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)
Principal investigator: Krzysztof Kaczor
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Call: PRELUDIUM 2, Panel: ST6
-
27. Extensional Ontology and Philosophical Logic
Principal investigator: dr hab. Andrzej Paweł Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
Call: OPUS 2, Panel: HS1
-
28. Specification development and software verification
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 6, Panel: ST6
-
29. Automatisation of constructive logic
Principal investigator: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 4, Panel: ST6