1 Table of Contents: “... -- Deterministic asynchronous automata -- Alternating automata on infinite objects, determinacy and Rabin's theorem...”

2 Table of Contents: “... of Solvers -- Labelled Calculi for Lattice-based Modal Logics -- Two Ways to Scare a Gruffalo -- Determinacy...”

3 Table of Contents: “... -- Determinacy in Stochastic Games with Unbounded Payoff Functions -- Strategy Complexity of Finite-Horizon...”

4 “... of Choice, explains Banach-Mazur games and the Axiom of Determinacy, discusses the basic constructions...”

5 Table of Contents: “... -- Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report -- Compact Samples for Data...”

6 Table of Contents: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”

7 Table of Contents: “... -- Proving Determinacy of PharOS in TLA+ -- A Rigorous Correctness Proof for Pastry -- Enabling Analysis...”

8 Table of Contents: “... -- Wireless Protocol Validation Under Uncertainty -- Dynamic Determinacy Race Detection for Task Parallelism...”

9 Table of Contents: “... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...”

10 Table of Contents: “...Complete Determinacy and Subsystems of Second Order Arithmetic -- Internal Density Theorems...”

11 Table of Contents: “...-layer I/O -- Runtime Determinacy Race Detection for OpenMP Tasks -- Estimating the impact of external...”