Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Nowe pojęcie skończoności w teorii obliczeń

2012/07/B/ST6/01497

Słowa kluczowe:

teoria zbiorow Fraenkla-Mostowskiego zbiory nominalne

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Mikołaj Bojańczyk 

Liczba wykonawców projektu: 8

Konkurs: OPUS 4 - ogłoszony 2012-09-15

Przyznana kwota: 565 800 PLN

Rozpoczęcie projektu: 2013-08-29

Zakończenie projektu: 2016-08-28

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputery przenośne. Za kwotę 12 000 PLN

Dane z raportu końcowego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (13)
  1. Automata theory in nominal sets IF: 0,443
    Autorzy:
    Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota
    Czasopismo:
    Logical Methods in Computer Science (rok: 2014, tom: 10(3), strony: pismo elektroniczne), Wydawca: Institute of Theoretical Computer Science of the Technische Universität Braunschweig
    Status:
    Opublikowana
    Doi:
    10.2168/LMCS-10(3:4)2014 - link do publikacji
  2. Equivariant algorithms for constraint satisfaction problems over coset templates IF: 1,265
    Autorzy:
    S.Lasota
    Czasopismo:
    Information Processing Letters (rok: 2017, tom: 118, strony: 44-52), Wydawca: Elsevier
    Status:
    Przyjęta do publikacji
    Doi:
    10.1016/j.ipl.2016.09.009 - link do publikacji
  1. Algebraic Properties of Valued Constraint Satisfaction Problem
    Autorzy:
    Marcin Kozik, Joanna Ochremiak
    Konferencja:
    ICALP: Automata, Languages, and Programming - 42nd International Colloquium (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 6-10 czerwca
    Status:
    Opublikowana
  2. Coverability Trees for Petri Nets with Unordered Data
    Autorzy:
    Piotr Hofman, Sławomir Lasota, Ranko Lazic, Jerome Leroux, Sylvain Schmitz, Patrick Totzke
    Konferencja:
    Foundations of Software Science and Computation Structures (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 2-8 kwietnia
    Status:
    Opublikowana
  3. LOIS: an application of SMT solvers
    Autorzy:
    E. Kopczyński, S. Toruńczyk
    Konferencja:
    14th International Workshop on Satisfiability Modulo Theories (rok: 2016, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 18 lipca 2016
    Status:
    Opublikowana
  4. Reachability Analysis of First-order Definable Pushdown Systems
    Autorzy:
    Lorenzo Clemente, Sławomir Lasota
    Konferencja:
    Computer Science Logic (rok: 2015, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 7-10 września
    Status:
    Opublikowana
  5. SMT solving for functional programming over infinite structures
    Autorzy:
    B. Klin, M. Szynwelski
    Konferencja:
    6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) (rok: 2016, ), Wydawca: Open Publishing Association
    Data:
    konferencja 8 kwietnia 2016
    Status:
    Opublikowana
  6. Turing machines with atoms, constraint satisfaction problems, and descriptive complexity
    Autorzy:
    Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
    Konferencja:
    Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14 (rok: 2014, ), Wydawca: ACM
    Data:
    konferencja 14 - 18 lipca
    Status:
    Opublikowana
  7. Decidability border for Petri nets with data: WQO dichotomy conjecture
    Autorzy:
    S.Lasota
    Konferencja:
    Application and Theory of Petri Nets and Concurrency - 37th International Conference, Petri Nets 2016 (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 19-24 Jun 2016
    Status:
    Opublikowana
  8. Locally Finite Constraint Satisfaction Problems
    Autorzy:
    Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk
    Konferencja:
    Logic in Computer Science (rok: 2015, ), Wydawca: IEEE
    Data:
    konferencja 6-10 lipca
    Status:
    Opublikowana
  9. Nominal Sets over Algebraic Atoms
    Autorzy:
    Joanna Ochremiak
    Konferencja:
    Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014 (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 28 kwietnia - 1 maja
    Status:
    Opublikowana
  10. Timed Pushdown Automata Revisited
    Autorzy:
    Lorenzo Clemente, Sławomir Lasota
    Konferencja:
    Logic in Computer Science (rok: 2015, ), Wydawca: IEEE
    Data:
    konferencja 6-10 lips
    Status:
    Opublikowana
  11. Homomorphism problems for first-order definable structures
    Autorzy:
    B. Klin, S. Lasota, J. Ochremiak, Sz. Toruńczyk
    Konferencja:
    FSTTCS (rok: 2016, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 13-15 Dec 2016
    Status:
    Przyjęta do publikacji
  12. LOIS: syntax and semantics
    Autorzy:
    E. Kopczyński, S. Toruńczyk
    Konferencja:
    44th ACM SIGPLAN Symposium on Principles of Programming Languages (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja styczeń 2017
    Status:
    Przyjęta do publikacji
  13. Modal mu-calculus with atoms
    Autorzy:
    B. Klin, M. Łełyk
    Konferencja:
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 20-23 czerwca 2017
    Status:
    Złożona