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 ...

A bstract We analyze the New Physics sensitivity of a recently proposed method to measure CP-violating $$ \mathcal{B} B ( K S → μ + − ) ℓ =0 decay rate using L interference. present our findings both in model-independent EFT approach as well within several simple NP scenarios. discuss relation with associated...

We show that the vectorial μ-calculus model checking problem over arbitrary graphs reduces to the vectorial, existential μ-calculus model checking problem over S5 graphs. We also draw some consequences of this fact. Moreover, we give a proof that satisfiability of μ-calculus in S5 is NP -complete, and by using S5 graphs we give a new proof that the satisfiability problem of the existential μ-ca...