Opening Lecture -- Randomness – A Computational Complexity Perspective -- Invited Papers -- Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds -- On Formal Equivalence Verification of Hardware -- Twelve Problems in Proof Complexity -- Manifestation and Exploitation of Invariants in Bioinformatics -- Simple Stochastic Games, Mean Payoff Games, Parity Games -- Theory Track -- Topological Semantics of Justification Logic -- A Logspace Algorithm for Partial 2-Tree Canonization -- A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest Common Substrings Via Suffix Arrays -- Logic and Rational Languages of Words Indexed by Linear Orderings -- Complexity of the Bollobás-Riordan Polynomial -- A Complete Characterization of Nash-Solvability of Bimatrix Games in Terms of the Exclusion of Certain 2×2 Subgames -- Synchronization of Grammars -- Lower Bounds for Depth-2 and Depth-3 Boolean Circuits with Arbitrary Gates -- A Semantic Proof of Polytime Soundness of Light Affine Logic -- On Subword Complexity of Morphic Sequences -- Comparing Universal Covers in Polynomial Time -- S4LP and Local Realizability -- On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract) -- The Most General Conservation Law for a Cellular Automaton -- Lower Bounds on Frequency Estimation of Data Streams (Extended Abstract) -- From Invariants to Canonization in Parallel -- Self-referentiality of Justified Knowledge -- On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata -- Public Key Encryption and Encryption Emulation Attacks -- A Uniform Lower Bound on Weights of Perceptrons -- Lambek Grammars with One Division Are Decidable in Polynomial Time -- Cryptanalysis of Stickel’s Key Exchange Scheme -- Combinatorial Complexity of Regular Languages -- On Sequences with Non-learnable Subsequences -- Algorithms for Multiterminal Cuts -- Two Sources Are Better Than One for Increasing the Kolmogorov Complexity of Infinite Sequences -- Applications and Technology Track -- Multilayer Neuro-fuzzy Network for Short Term Electric Load Forecasting -- Invariant Generation for P-Solvable Loops with Assignments -- Using Coloured Petri Nets to Model and Verify Telecommunications Systems -- Additive Preconditioning for Matrix Computations -- Network as a Computer: Ranking Paths to Find Flows -- A Unified Categorical Approach for Attributed Graph Rewriting.