Session 4

This sesssion starts at 10:30 and ends at 12:46.
TimeNameAffiliationTalk title
10:30Jakub ŁąckiUniversity of WarsawOptimal Decremental Connectivity in Planar Graphs
10:47Anna ZychUniversity of WarsawThe Power of Dynamic Distance Oracles: Efficient Dynamic Algorithms for the Steiner Tree
11:04Arkadiusz SocałaUniversity of WarsawTight lower bound for the channel assignment problem.
11:21Krzysztof RzadcaInstitute of Informatics, University of WarsawPartition with side effect
11:38Klara ZielińskaUniversity of WrocławTypes by automata
11:55Filip MurlakUniversity of WarsawConsistency of Injective Tree Patterns
12:12Aleksy SchubertInstitute of Informatics, University of WarsawOn the Mints Hierarchy in First-Order Intuitionistic Logic
12:29Jerzy TyszkiewiczInstitute of Informatics, University of WarsawSpreadsheets - theoretically

Forum Informatyki Teoretycznej 2015