Overview of the field. NoncommutativeLp-spaces are at the heart of this conference. These spaces have a long history going back to pioneering works by von Neumann, Dixmier and Segal. They are the analogues of the classical Lebesgue spaces of pintegrable functions, where now functions are replaced by operators. These spaces have been investigated for operator algebras with a trace, and then arou...

This paper presents a new model construction for a natural cut-free infinitary version Kω (μ) of the propositional modal μ-calculus. Based on that the completeness of Kω (μ) and the related system Kω(μ) can be established directly – no detour, for example through automata theory, is needed. As a side result we also obtain a finite, cut-free sound and complete system for the propositional modal ...