Logic and Program Semantics

Residuated Kleene Algebras.-Brzozowski?s Algorithm (Co)Algebraically.-Experimental Descriptive Complexity.-Meditations on Quantified Constraint Satisfaction.-The Compass That Steered Robotics.-Subtyping for F-Bounded Quantifiers and Equirecursive Types.-Inferring Evolutionary Scenarios in the Duplication, Loss andHorizontal Gene Transfer Model.-Capsules and Closures: A Small-Step Approach.-Nuprl as Logical Framework for Automating Proofs in CategoryTheory.-On the Final Coalgebra of Automatic Sequences.-On Topological Completeness of Regular Tree Languages.-A Complete Logical System for the Equality of Recursive Terms forSets.-Overloading is NP-Complete: A Tutorial Dedicated to Dexter Kozen.-Combining Epistemic Logic and Hennessy-Milner Logic.-Choice and Uncertainty in Games.-The Complexity of Inhabitation with Explicit Intersection.-On State Sequences Defined by Reaction Systems.-On Distance Coloring: A Review Based on Work with Dexter Kozen.-Winning, Losing and Drawing in Concurrent Games with Perfect orImperfect Information.-Reflections on a \m/ Time with Dexter Kozen.-Two Three Pages Papers.-A Tribute from the Band .-Dexter Kozen: An Appreciation.-Dexter Kozen: A Winning Combination of Brilliance, Depth, andElegance.-Making the World a Better Place.-Timesharing Dexter.-A Small Tribute.-Dexter Kozen?s Influence on the Theory of Labelled MarkovProcesses.-An Appreciation of Dexter Kozen.-To Dexter - A Tribute from Aarhus.-Travelling with Dexter Kozen.-Dexter as a PhD Advisor.-Rock?n?Roll Computer Science.