5 projects found matching your search criteria :
Semantic tensor networks for large data sets analysis
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Piotr Gawron
Instytut Informatyki Teoretycznej i Stosowanej PAN
Modular operational semantics: a bialgebraic approach
Call: SONATA BIS 2 , Panel: ST6
Principal investigator: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Representations of algebraic semantics for substructural logics
Call: OPUS 24 (LAP) , Panel: HS1
Principal investigator: dr hab. Tomasz Kowalski
Uniwersytet Jagielloński, Wydział Filozoficzny
Algebraic effects: composition and coinduction
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algebraic Effects and Continuations
Call: POLONEZ 3 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki