Table of Contents: “... Decomposition by Regular Chains -- Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values -- Finding a Deterministic Generic Position for an Algebraic Space Curve -- Computer Algebra Experimentation -- On the Parallelization...”

Full text 

Table of Contents: “... Conscriptions Algebraically -- Abstract Dynamic Frames -- Automated Verification of Relational While-Programs -- On Faults and Faulty Programs -- Parameterised Bisimulations: Some Applications -- A Point-Free Relation-Algebraic Approach to General Topology -- A...”

Full text 

Table of Contents: “...Full Papers -- Boolean Games with Epistemic Goals -- Minimal Preference Change -- The Topology of Belief, Belief Revision and Defeasible Knowledge -- Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary -- A Semantic Model...”

Full text 

Table of Contents: “... in Shared Spectrum Radio Networks -- Attack-Resilient Multitree Data Distribution Topologies -- On the Complexity of Distributed Broadcasting and MDS Construction in Radio Networks -- On the Impact of Identifiers on Local Decision -- Black Hole Search...”

Full text