Projekty finansowane przez NCN

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 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 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ł 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 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 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 Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy 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

Nowe metody logiczno-matematyczne w naukach stosowanych i modelowaniu procesów podejmowania decyzji

Konkurs: OPUS 4 , panel: HS1

Kierownik: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zastosowania kombinatoryki nieskończonej i topologii analitycznej w przestrzeniach Banacha i w związanych z nimi struktu...

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Piotr Koszmider

Instytut Matematyczny Polskiej Akademii Nauk

Obliczalna teoria modeli i filozofia strukturalizmu matematycznego

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Dariusz Kalociński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki i 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 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 Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub 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 Michał 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 Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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 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 Polskiej Akademii Nauk

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 Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip 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ł 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

Akceleracja metod wyszukiwania informacji w dużych zbiorach danych metodami sprzętowymi

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Kazimierz Wiatr

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

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 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 Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel 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 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