6 projects found matching your search criteria :
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 6 , Panel: HS6
Principal investigator: dr hab. Adam Chuderski
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Jarosław Bąk
Politechnika Poznańska, Wydział Elektryczny
Neural dynamics underlying relational reasoning
Call: OPUS 17 , Panel: HS6
Principal investigator: dr hab. Adam Chuderski
Uniwersytet Jagielloński
Interactive character of relations between law and emotions
Call: OPUS 14 , Panel: HS5
Principal investigator: dr hab. Marta Soniewicka
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki