Session 1. The sesssion starts at 2015-01-30 10:30. Time | Name | Affiliation | Talk title |
---|
10:30 | Adam Polak | Jagiellonian University | Fixed parameter tractability of non-preemptive multicoloring
|
10:47 | Marcin Krzywkowski | University of Johannesburg, South Africa | An algorithm for listing all minimal double dominating sets of a tree
|
11:04 | Andrzej Grzesik | Jagiellonian University | Finitely forcible limits of graphs and permutations
|
11:21 | Hanna Furmańczyk | University of Gdańsk | Equitable total coloring of corona of cubic graphs |
11:38 | Andres Aristizabal | University of Wrocław | Deriving Labels and Bisimilarity for Timed Concurrent Constraint Programming
|
11:55 | Maciej Bendkowski | Jagiellonian University | Asymptotic properties of combinatory logic |
12:12 | Mikołaj Bojańczyk | University of Warsaw | Transducers
|
12:29 | Anna Bryniarska | Opole University | The t-norm valuation-based system for the database attributes configuration in the Dempster-Shafer’s theory.
|
Session 2. The sesssion starts at 2015-01-30 14:55. Time | Name | Affiliation | Talk title |
---|
14:55 | Stefan Dziembowski | University of Warsaw | Why the cryptographic currencies need a solid theory? |
15:12 | Maciej Obremski | University of Warsaw | Non-Malleable Reductions and their Applications |
15:29 | Marcin Dziubiński | Institute of Informatics, University of Warsaw | Individual Security and Network Design
|
15:46 | Michał Karpiński | University of Wrocław | Smaller Selection Network for Encoding Cardinality Constraints.
|
Session 3. The sesssion starts at 2015-01-30 16:35. Time | Name | Affiliation | Talk title |
---|
16:35 | Wojciech Czerwiński | University of Warsaw | Separability problem
|
16:52 | Tomasz Gogacz | Uniwersytet Wrocławski | Undecidability of determinacy of conjunctive queries.
|
17:09 | Aleksandra Kiślak-Malinowska | University of Warmia and Mazury | Tupled pregroup grammars enjoy semantics.
|
17:26 | Grzegorz Gutowski | Jagiellonian University | Avoiding Facial Repetitions
|
17:43 | Bartłomiej Bosek | Uniwersytet Jagielloński | Harmonious Coloring of Hypergraphs
|
18:00 | Tomasz Dzido | Institute of Informatics, University of Gdańsk | On a local similarity of graphs.
|
18:17 | Krzysztof Sornat | University of Wrocław | PTAS for Minimax Approval Voting
|
18:34 | Maciej Pacut | Uniwersytet Wrocławski | Data Locality and Replica Aware Virtual Cluster Embeddings.
|
18:51 | Piotr Sankowski | University of Warsaw | Algorithmic Applications of Baur-Strassen's Theorem: Shortest Cycles, Diameter and Matchings |
Session 4. The sesssion starts at 2015-01-31 10:30. Time | Name | Affiliation | Talk title |
---|
10:30 | Jakub Łącki | University of Warsaw | Optimal Decremental Connectivity in Planar Graphs |
10:47 | Anna Zych | University of Warsaw | The Power of Dynamic Distance Oracles: Efficient Dynamic Algorithms for the Steiner Tree |
11:04 | Arkadiusz Socała | University of Warsaw | Tight lower bound for the channel assignment problem. |
11:21 | Krzysztof Rzadca | Institute of Informatics, University of Warsaw | Partition with side effect
|
11:38 | Klara Zielińska | University of Wrocław | Types by automata
|
11:55 | Filip Murlak | University of Warsaw | Consistency of Injective Tree Patterns
|
12:12 | Aleksy Schubert | Institute of Informatics, University of Warsaw | On the Mints Hierarchy in First-Order Intuitionistic Logic |
12:29 | Jerzy Tyszkiewicz | Institute of Informatics, University of Warsaw | Spreadsheets - theoretically |
Session 5. The sesssion starts at 2015-01-31 14:55. Time | Name | Affiliation | Talk title |
---|
14:55 | Piotr Witkowski | University of Wrocław | Two-variable logic with counting and linear orders.
|
15:12 | Adam Witkowski | University of Warsaw | Datalog and data trees. |
15:29 | Maciej Zielenkiewicz | University of Warsaw | On multiply-exponential write-once Turing machines
|
15:46 | Szymon Toruńczyk | University of Warsaw | Orbit-finite Constraint Satisfaction Problems |
Session 6. The sesssion starts at 2015-01-31 16:35. Time | Name | Affiliation | Talk title |
---|
16:35 | Dariusz Leniowski | University of Warsaw | Online bipartite matching in offline time
|
16:52 | Łukasz Kowalik | University of Warsaw | A 13k-kernel for Planar Feedback Vertex Set via Region Decomposition
|
17:09 | Karol Kosiński | Jagiellonian University | The game of overlaps |
17:26 | Hans de Nivelle | University of Wroclaw | Matching Algorithms
|
17:43 | Magdalena Ryczkowska | Nicolaus Copernicus University | Design and selected applications of the PCJ Library. Joint talk with Łukasz Górski
|
18:00 | Jarosław Duda | affiliation not declared | Asymmetric Numeral Systems as accurate replacement for Huffman coding |
18:17 | Jolanta Tańcula | Uniwersytet Opolski | Stability of computer network for the set delay |
18:34 | Bartosz Rybicki | Uniwersytet Wrocławski | An Improved Approximation for k-Median, and Positive Correlation in Budgeted Optimization |
18:51 | Jakub Michaliszyn | University of Wrocław | Model checking and interval temporal logics
|
Forum Informatyki Teoretycznej 2015