Session 5

This sesssion starts at 14:55 and ends at 16:03.
TimeNameAffiliationTalk title
14:55Piotr WitkowskiUniversity of WrocławTwo-variable logic with counting and linear orders.
15:12Adam WitkowskiUniversity of WarsawDatalog and data trees.
15:29Maciej ZielenkiewiczUniversity of WarsawOn multiply-exponential write-once Turing machines
15:46Szymon ToruńczykUniversity of Warsaw Orbit-finite Constraint Satisfaction Problems

Forum Informatyki Teoretycznej 2015