Algorithms for Inference, Analysis and Control of Boolean Networks -- Tutorial on Model Checking: Modelling and Verification in Computer Science -- Differential Algebra and System Modeling in Cellular Biology -- Hybrid Semantics for Stochastic ?-Calculus -- Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits -- On the Computational Power of Biochemistry -- The Geometry of the Neighbor-Joining Algorithm for Small Trees -- Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets -- An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions -- Property Preservation along Embedding of Biological Regulatory Networks -- Process Algebra Models of Population Dynamics -- Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems -- The Smallest Multistationary Mass-Preserving Chemical Reaction Network -- Local Structure and Behavior of Boolean Bioregulatory Networks -- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology -- An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods.