4 projects found matching your search criteria :
Limits of decidability in automata theory
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 11 , Panel: ST8
Principal investigator: Dawid Kutyła
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych