SOFSEM 2021: Theory and Practice of Computer Science

Invited Papers.- Algorithms that Access the Input via Queries.- Towards Knowledge Exchange: State-of-the-Art and Open Problems.- Invited Talk: Resilient Distributed Algorithms.- Towards Minimally Conscious Finite-State Controlled Cyber-Physical Systems - A Manifesto.- Reconstructing Phylogenetic Networks from Sequences: Where we Stand and What to do Next.- Foundations of Computer Science - Full Papers.- Amnesiac Flooding: Synchronous Stateless Information Dissemination.- Asymptotic Approximation by Regular Languages.- Balanced Independent and Dominating Sets on Colored Interval Graphs.- Bike Assisted Evacuation on a Line.- Blocksequences of k-local Words.- Complexity of limit-cycle problems in Boolean networks.- Concatenation Operations and Restricted Variants of Two-Dimensional Automata.- Distance Hedonic Games.- Distributed Independent Set in Interval and Segment Intersection Graphs.- Hierarchical b-Matching.- Improved algorithms for online load balancing.- Iterated Uniform Finite-State Transducers on Unary Languages.- New bounds on the half-duplex communication complexity.- Novel Results on the Number of Runs of the Burrows-Wheeler-Transform.- On the Redundancy of D-ary Fano Codes.- On the Terminal Connection Problem.- Parameterized Complexity of d-Hitting Set with Quotas.- Parameterizing Role Coloring on Forests.- The Balanced Satisfactory Partition Problem.- The Multiple Traveling Salesman Problem on Spiders.- Tightness of Sensitivity and Proximity Bounds for Integer Linear Programs.- Using the Metro-Map Metaphor for Drawing Hypergraphs.- Weighted Microscopic Image Reconstruction.- Foundations of Computer Science - Short Papers.- A Normal Sequence Compressed by PPM* but not by Lempel-Ziv 78.- Clusters of repetition roots: single chains.- Drawing Two Posets.- Fair Division is Hard even for Amicable Agents.- The Complexity of Flow Expansion and Electrical Flow Expansion.- Foundations of Software Engineering - Full papers.- An Infrastructure for