Paper Nr. Paper Title First Author Other Authors ICS01 Offline Environment for Focused Crawler Evaluation Tomáš Gogár   ICS02 New Tool for Model-Based Testing using Petri nets and Constraint Programming Tomáš Pospíšil   ICS03 Predicting Time of Purchase in Games with Microtransactions Ondřej Pluskal   ICS04 Fully distributed adaptive consensus protocol with bounded gains Štefan Knotek   ICS05 Utilization aspect oriented approach and local data in the development of adaptive user interface for Android Jiří Šebek   ICS06 Optimized Framework for Model-Based Testing of Automotive Distributed Systems Lukáš Krejčí   ICS07 Policy Derivation Methods for Critic-Only Reinforcement Learning in Continuous Action Spaces Eduard Alibekov   ICS08 Context-aware Input Validation in Information Systems Karel Cemus   ICS09 Towards Visually Stabilized Swarms of Micro Aerial Vehicles Václav Endrych   ICS10 Proposal For a Finding Consensus Among Discriminative Motifs in the Task of mRNA Localization in Drosophila melanogaster František Malinka   ICS11 Fast Model Predictive Control Using Efficient Newton Step Computation in Active-Set Method with Tailored Move Blocking Jiří Burant Pavel Otta ICS12 Solver for Systems of Linear Equations with Infinite Precision on a GPU Cluster Jiří Khun   ICS13 Phishing Email Detection in Czech Language Vít Listík Tomáš Gogár ICS14 Towards Formal Interpretation of Linear Models for Genome-wide Data Michael Anděl   ICS15 Reliability Prediction in Dependability Models Considering Transient Faults Martin Daňhel Filip Štěpánek ICS16 Signal Shaper for Flexible Aircraft Mushfiqul Alam   ICS17 Video feedback control of inverted pendulum Jiří Hladík

We would like to thank to following sponsors:

Other sponsors, who did not provide their presentations, will be presented on the day of the conference.