20th April 2017
08.00 - 08.45 Registration
08.45 - 09.00 Opening
09.00 - 10.00 Invited Speaker 1: M. Kwiatkowska
10.00 - 10.30 Coffee
10.30 - 12.30 Contributed Talks, parallel sessions A1 and A2
12.30 - 14.00 Lunch
14.00 - 15.00 Invited Speaker 2: P. Lu
15.00 - 15.30 Coffee
15.30 - 16.30 Invited Speaker 3: J. Zucker
16.30 - 17.00 Coffee
17.00 - 18.30 Contributed Talks, parallel sessions B1 and B2
18.30 - Apero
21st April 2017
08.30 - 09.30 Invited Speaker 4: M. E. Maietti
09.30 - 10.00 Coffee
10.00 - 12.00 Contributed Talks, parallel sessions C1 and C2
12.00 - 13.30 Lunch
13.30 - 14.30 Invited Speaker 5: S. Wolf
14.30 - 15.00 Coffee
15.00 - 17.00 Contributed Talks, parallel sessions D1 and D2
17.00 - 17.30 Coffee
17.30 - 18.30 Contributed Talks, parallel sessions E1 and E2
19.00 - Social Dinner
22nd April 2017
08.30 - 09.30 Invited Speaker 6: J. A. Makowsky
09.30 - 10.00 Coffee
10.00 - 12.00 Contributed Talks, parallel sessions F1 and F2
12.00 - 13.30 Lunch
13.30 - 14.30 Invited Speaker 7: C. Martín-Vide
14.30 - 15.00 Coffee
15.00 - 16.00 Contributed Talks, parallel sessions G1 and G2
16.15 - 17.00 Alternative Approach 1: T.V. Gopal
17.15 - 18.00 Alternative Approach 2: Y. Sergeyev
18.00 - 18.30 General discussions
18.30 End
- Marta Kwiatkowska. Cognitive Reasoning and Trust in Human-Robot Interactions
- Pinyan Lu. Approximate Counting via Correlation Decay
- Jeffery Zucker. Computing on streams and analog networks
- Maria Emilia Maietti. On extraction of programs from constructive proofs
- Stefan Wolf. An All-Or-Nothing Flavor to the Church-Turing Hypothesis
- Johann A. Makowsky. Computational Complexity for Real Valued Graph Parameters
- Carlos Martín-Vide. Natural Language Processing, Moving from Rules to Data
- Nikolay Bazhenov. A Note on Effective Categoricity for Linear Orderings
- Olivier Finkel. Incompleteness Theorems, Large Cardinals, and Automata over finite Words
- Arthur Milchior. Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order
- Hans Kleine Büning, Piotr Wojciechowski, K. Subramani. On the computational complexity of read once resolution decidability in 2CNF formulas
- Shantanu Das, Giuseppe Antonio Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta. Mediated Population Protocols: Leader Election and Applications
- Leon Kellerhals, Viatcheslav Korenwein, Philipp Zschoche, Robert Bredereck, Jiehua Chen. On the Computational Complexity of Variants of Combinatorial Voter Control in Elections
- Jie Han. The complexity of perfect packings in dense graphs
- Maciej Skorski. A Cryptographic Proof of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds
- Luca Paolini, Margherita Zorzi. qPCF: a language for quantum circuit computations
- Photchchara Pisantechakool, Xuehou Tan. On the Conjecture of the Smallest 3-Cop-Win Planar Graph
- Yangguang Shi, Fa Zhang, Zhiyong Liu. Hardness of Routing for Minimizing Superlinear Polynomial Cost in Directed Graphs
- Ning Ding, Yanli Ren, Dawu Gu. Learning AC^0 under k-Dependent Distributions
- Henning Fernau, Lakshmanan Kuppusamy. Parikh Images of Matrix Ins-del Systems
- Yuguo He. Pebble games over ordered structural abstractions
- Emanuele Frittaion, Silvia Steila, Keita Yokoyama. The strength of the SCT criterion
- Sam Sanders. From Nonstandard Analysis to various flavours of Computability Theory
- Huishan Wu, Guohua Wu. Degrees of Word Problem for Algebras without Finitely Presented Expansions
- Xujin Chen, Xiaodong Hu, Changjun Wang, Ying Zhang. Continuous Firefighting on Infinite Square Grids
- Tesshu Hanaka, Hans L. Bodlaender, Tom van der Zanden, Hirotaka Ono. On the Maximum Weight Minimal Separator
- Heiko Röglin, Clemens Rösner. The Smoothed Number of Pareto-optimal Solutions in Non-integer Bicriteria Optimization
- Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, Venkatesh R. Sequentialization Using Timestamps
- Shareef Ahmed, Md. Saidur Rahman. Multi-interval Pairwise Compatibility Graphs
- Daniël Paulusma, Christophe Picouleau, Bernard Ries. Blocking Independent Sets for H-free graphs via Edge Contractions and Vertex Deletions
- Sheung-Hung Poon, Wei-Lin Wang. On Complexity of Total Vertex Cover on Subcubic Graphs
- Yuan Xue, Boting Yang. Fast Searching on Cartesian Products of Graphs
- Florian Bridoux, Pierre Guillon, Kevin Perrot, Sylvain Sené, Guillaume Theyssier. On the cost of Simulating a Parallel Boolean Automata Network by a Block-Sequential One
- Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla. On Resource-bounded versions of the van Lambalgen's theorem
- Minming Li, Frances Yao, Hao Yuan. An O(n^2) Algorithm for Computing Optimal Continuous Voltage Schedules
- Andrzej Lingas. Towards an Almost Quadratic Lower Bound on the Monotone Circuit Complexity of the Boolean Convolution
- Mamadou Moustapha Kanté, Takeaki Uno. Counting Minimal Dominating Sets
- Faisal Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw, Kai Wang. Turbo-charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis
- Tristan Braquelaire, Marie Gasparoux, Mathieu Raffinot, Raluca Uricaru. On the shortest common superstring of NGS reads
- Tomáš Toufar, Tomáš Masařík. Parameterized complexity of fair deletion problems
- Guillaume Fertin, Julien Fradin, Géraldine Jean. Algorithmic Aspects of the Maximum Colorful Arborescence Problem
- Roland Glück. Covering Polygons with Rectangles
- Neil Lutz, D. M. Stull. Bounding the Dimension of Points on a Line
- Sang-Ki Ko, Igor Potapov. Vector Ambiguity and Freeness Problems in SL(2,Z)
- Andrzej Lingas, Mia Persson, Dzmitry Sledneu. Bounds for Semi-disjoint Bilinear Forms in a Unit-cost Computational Model
- Mozhgan Pourmoradnasseri, Dirk Oliver Theis. Nondeterministic Communication Complexity of random Boolean functions
- Maciej Skorski. On the complexity of breaking pseudoentropy
- Xuehou Tan, Bo Jiang. Efficient algorithms for touring a sequence of convex polygons and related problems
- Vincent Chau, Minming Li, Kai Wang. Scheduling Fully Parallel Jobs with Integer Parallel Units
- Chi Kit Ken Fong, Minming Li, Yungao Li, Sheung-Hung Poon, Weiwei Wu, Yingchao Zhao. Scheduling Tasks to Minimize Active Time on a Processor with Unlimited Capacity
- Mingyu Xiao, Shaowei Kou. Kernelization and Parameterized Algorithms for 3-Path Vertex Cover
- Iosif Petrakis. A density theorem for hierarchies of limit spaces over separable metric spaces
- T.V. Gopal. New Trends in Cyber-Physical Systems
- Yaroslav Sergeyev. The Infinity Computer and numerical computations with infinities and infinitesimals