1 Table of Contents: “... with Linear Integer Arithmetic -- Encoding Queues in Satisfiability Modulo Theories Based Bounded Model...”

2 Table of Contents: “... Bounds for MAX-SAT by Clause Learning -- Towards Hierarchical Clustering (Extended Abstract...”

3 Table of Contents: “... with Time Bound Certifications -- Specification and automatic proof-assistants -- Encoding Temporal Logics...”

4 Table of Contents: “...? -- Automatic Structures of Bounded Degree -- An Optimal Automata Approach to LTL Model Checking...”

5 Table of Contents: “... PFD -- Logic programming with bounded quantifiers...”

6 Table of Contents: “... logic — Preliminary report -- Prolog with arrays and bounded quantifications -- Linear 0–1 inequalities...”

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

8 Table of Contents: “... Equations -- Analytic Tableaux for KLM Preferential and Cumulative Logics -- Bounding Resource Consumption...”

9 Table of Contents: “... -- The Complexity of the Graded ?-Calculus -- Lazy Theorem Proving for Bounded Model Checking over Infinite Domains...”

10 Table of Contents: “... to the search for single axioms for exponent groups -- Elementary lower bounds for the lengths of refutations...”

11 Table of Contents: “... -- On Bounded Specifications -- Improving Automata Generation for Linear Temporal Logic by Considering...”