Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Effective computations in predicative mathematics

2018/28/C/ST6/00417

Keywords:

category theory logic

Descriptors:

  • ST1_1: Logic and foundations
  • ST1_15: Mathematical aspects of computer science
  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Michał Przybyłek 

Number of co-investigators in the project: 1

Call: SONATINA 2 - announced on 2017-12-15

Amount awarded: 561 373 PLN

Project start date (Y-m-d): 2018-10-22

Project end date (Y-m-d): 2022-05-21

Project duration:: 43 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (2)
  • Articles in post-conference publications (2)
  1. Beyond sets with atoms: definability in first-order logic
    Authors:
    Michał Przybyłek
    Academic press:
    Annals of Pure and Applied Logic , Wydawca: Elsevier
    Status:
    Submitted
    DOI:
    brak - link to the publication
  2. A note on the complexity of a phaseless polynomial interpolation
    Authors:
    Michał Przybyłek, Paweł Siedlecki
    Academic press:
    Journal of Complexity (rok: 2019, tom: I, strony: 101456), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.jco.2019.101456 - link to the publication
  1. On amenability of constraint satisfaction problems
    Authors:
    Michał Przybyłek
    Conference:
    36th Annual Symposium on Logic in Computer Science (LICS) (rok: 2021, ), Wydawca: Association for Computing Machinery
    Data:
    konferencja 29 June - 02 July 2021
    Status:
    Submitted
  2. Nominal Probability
    Authors:
    Michał R. Przybyłek
    Conference:
    The 49th EATCS International Colloquium on Automata, Languages, and Programming (rok: 2021, ), Wydawca: Leibniz International Proceedings in Informatics
    Data:
    konferencja 2022
    Status:
    Submitted

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy