All contributed talks

image_pdf

image_print

**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