Projekty finansowane przez NCN

Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych

Konkurs: OPUS 29 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski

Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

Konkurs: OPUS 29 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Analiza ilościowych modeli obliczeniowych

Konkurs: SONATA BIS 14 , panel: ST6

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

(Anti)Classification and invariants in dynamics

Konkurs: POLONEZ BIS 1 , panel: ST1

Kierownik: dr Philipp Christopher Kunde

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wybrane zagadnienia w zastosowaniach teorii mnogości w analizie funkcjonalnej

Konkurs: PRELUDIUM 20 , panel: ST1

Kierownik: Damian Głodkowski

Instytut Matematyczny Polskiej Akademii Nauk

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Metody teoriomnogościowe w topologii analitycznej: od zbieżności punktowej i przestrzeni Banacha do algebr operatorowych...

Konkurs: OPUS 19 , panel: ST1

Kierownik: prof. Witold Michał Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy klasyfikacji w dynamice topologicznej i teorii ergodycznej

Konkurs: PRELUDIUM BIS 1 , panel: ST1

Kierownik: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Metody teoriomnogościowe w dynamice i teorii liczb

Konkurs: SONATA BIS 9 , panel: ST1

Kierownik: dr hab. William Andrew Mance

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

Konkurs: OPUS 16 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki PAN

Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Abstrakcyjne metody w teorii przestrzeni Banacha.

Konkurs: OPUS 15 , panel: ST1

Kierownik: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efektywne obliczenia w predykatywnej matematyce

Konkurs: SONATINA 2 , panel: ST6

Kierownik: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Filozoficzna i formalna analiza jakościowych logik przestrzeni

Konkurs: SONATA 13 , panel: HS1

Kierownik: dr Adam Trybus

Uniwersytet Zielonogórski, Wydział Humanistyczny

Otwarte problemy teorii waluacji w charakterystyce dodatniej

Konkurs: OPUS 13 , panel: ST1

Kierownik: prof. Franz-Viktor Kuhlmann

Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny

Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraiczne i topologiczne metody w teorii modeli

Konkurs: SONATA BIS 6 , panel: ST1

Kierownik: prof. Krzysztof Cyprian Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: dr Maciej Maria Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Implikacje rozmyte i ich wpływ na różnorodne metody wykorzystywane w systemach inteligentnych.

Konkurs: OPUS 10 , panel: ST6

Kierownik: dr hab. Michał Krzysztof Baczyński

UNIWERSYTET ŚLĄSKI, Wydział Nauk Ścisłych i Technicznych

Zastosowania logiki z funcjami częściowymi

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Jean Marie de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Małgorzata Zbrzezny

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Logiki do przetwarzania danych i weryfikacji

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Konkurs: MAESTRO 6 , panel: ST6

Kierownik: prof. Paweł Maria Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Grupy definiowalne w ciałach z waluacją, definiowalny problem Knesera-Titsa oraz teorie metastabilne

Konkurs: SONATA 7 , panel: ST1

Kierownik: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody teorii mnogości w topologii i teorii przestrzeni Banacha.

Konkurs: OPUS 6 , panel: ST1

Kierownik: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

Konkurs: OPUS 6 , panel: HS1

Kierownik: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozwój oraz synteza nowoczesnych metod modelowania niepewności w rozwiązaniu wielokryterialnych problemów decyzyjnych...

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Pavel Sevastsyanau

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Granice obliczalności dla zapytań rekurencyjnych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Wolność i niezależność w algebrze i topologii

Konkurs: SONATA 4 , panel: ST1

Kierownik: dr hab. Szymon Głąb

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Łukasz Tadeusz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

parametry modeli skończonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki