1 Subjects: “...Symbolic and Algebraic Manipulation...”

2 Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”

3 Table of Contents: “...-Lite Data Streams -- Forgetting Concept and Role Symbols in ALCH-Ontologies -- Simulating Parity...”

4 Table of Contents: “... -- Theorem Proving with Sequence Variables and Flexible Arity Symbols -- Games, Probability...”

5 Table of Contents: “... -- Automated Two-Phase Composition of Timed Web Services -- Equivalence of Finite-Valued Symbolic Finite...”

6 Table of Contents: “... -- : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols -- The Complexity of Temporal Logic...”

7 Table of Contents: “... Values in Constraint Satisfaction Problems -- Evaluating QBFs via Symbolic Skolemization...”

8 Table of Contents: “... Petri Nets -- Privacy Preserving Modules for Ontologies -- Symbolic Bounded Conformance Checking...”

9 Table of Contents: “... the Symbolic Method of Verification in the C-light Project -- Highlights of the Rice-Shapiro Theorem...”

10 Table of Contents: “...-ize? On Efficiently Handling Uninterpreted Function Symbols in -- Lemma Learning in the Model...”

11 Table of Contents: “... Problems Involving Arithmetic -- Resolution for Stochastic Boolean Satisfiability -- Symbolic Automata...”

12 Table of Contents: “... -- Automated Theorem Proving -- Splitting through New Proposition Symbols -- Complexity of Linear Standard...”