Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Modularna semantyka operacyjna: podejście bialgebraiczne

2012/07/E/ST6/03026

Słowa kluczowe:

semantyka operacyjna algebra koalgebra

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. Bartosz Klin 

Liczba wykonawców projektu: 4

Konkurs: SONATA BIS 2 - ogłoszony 2012-09-15

Przyznana kwota: 630 000 PLN

Rozpoczęcie projektu: 2013-07-11

Zakończenie projektu: 2018-05-10

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

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputer przenośny. Za kwotę 6 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (4)
  • Teksty w publikacjach pokonferencyjnych (7)
  1. Coalgebraic trace semantics via forgetful logic
    Autorzy:
    Bartek Klin, Jurriaan Rot
    Czasopismo:
    Logical Methods in Computer Science (rok: 2016, tom: 12(4), strony: 0,173611111111111), Wydawca: Logical Methods in Computer Science e.V
    Status:
    Opublikowana
    Doi:
    10.2168/LMCS-12(4:10)2016 - link do publikacji
  2. Expressiveness of probabilistic modal logics: a gradual approach
    Autorzy:
    Florence Clerc, Nathanael Fijalkow, Bartek Klin, Prakash Panangaden
    Czasopismo:
    Information and Computation (rok: 2019, tom: 267, strony: 145-163), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.ic.2019.04.002 - link do publikacji
  3. Scalar and vectorial μ-calculus with atoms
    Autorzy:
    Bartek Klin, Mateusz Łełyk
    Czasopismo:
    Logical Methods in Computer Science (rok: 2019, tom: 15(4), strony: 5:1-5:47), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-15(4:5)2019 - link do publikacji
  4. Some undecidable properties of SOS specifications
    Autorzy:
    Bartek Klin, Beata Nachyła
    Czasopismo:
    Journal of Logical and Algebraic Methods in Programming (rok: 2017, tom: 87, strony: 94-109), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.jlamp.2016.08.005 - link do publikacji
  1. Coalgebraic trace semantics via forgetful logic
    Autorzy:
    Bartek Klin, Jurriaan Rot
    Konferencja:
    FOSSACS'15: 18th International Conference on Foundations of Software Science and Computation Structures (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 11-18 kwietnia 2015 r.
    Status:
    Opublikowana
  2. Expressiveness of Probabilistic Modal Logic, Revisited
    Autorzy:
    Nathanael Fijalkow, Bartek Klin, Prakash Panangaden
    Konferencja:
    44th International Colloquium on Automata, Languages, and Programming (ICALP) (rok: 2017, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 10-14 lipca
    Status:
    Opublikowana
  3. Distributive laws and decidable properties of SOS specifications
    Autorzy:
    Bartek Klin, Beata Nachyła
    Konferencja:
    EXPRESS/SOS'14 (Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics) (rok: 2014, ), Wydawca: Electronic Proceedings in Theoretical Computer Science
    Data:
    konferencja 1 września 2014
    Status:
    Opublikowana
    Doi:
    link do publikacji
  4. A completeness result for finite λ-bisimulations
    Autorzy:
    Joost Winter
    Konferencja:
    FOSSACS'15: 18th International Conference on Foundations of Software Science and Computation Structures (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 11-18 kwietnia 2015 r.
    Status:
    Opublikowana
  5. Learning Nominal Automata
    Autorzy:
    Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski
    Konferencja:
    44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-21 stycznia
    Status:
    Opublikowana
    Doi:
    link do publikacji
  6. Presenting morphisms of distributive laws
    Autorzy:
    Bartek Klin, Beata Nachyła
    Konferencja:
    6th Conference on Algebra and Coalgebra in Computer Science (CALCO'15) (rok: 2015, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 24-26 czerwca 2015
    Status:
    Opublikowana
    Doi:
    link do publikacji
  7. Product Rules and Distributive Laws
    Autorzy:
    Joost Winter
    Konferencja:
    13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 2-3 kwietnia 2016 r.
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy