5 projects found matching your search criteria :
Invariant equivalence relations
Call: PRELUDIUM 9 , Panel: ST1
Principal investigator: Tomasz Rzepecki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Analytic equivalence relations and Polish group actions
Call: SONATA 3 , Panel: ST1
Principal investigator: dr Marcin Sabok
Instytut Matematyczny PAN
Classification problems in topological dynamics and ergodic theory
Call: PRELUDIUM BIS 1 , Panel: ST1
Principal investigator: dr hab. Dominik Kwietniak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Inter-lingual equivalence in lexical databases
Call: HARMONIA 7 , Panel: HS2
Principal investigator: dr Maciej Piasecki
Politechnika Wrocławska, Wydział Informatyki i Zarządzania