The acronym and the above name of this reseach unit arise from a variation of its German name. To associate it to English terms, let M stand for models or mathematics, T for theory and V for verification. A corresponding title may thus be Models, Theories and Verification for Concurrent and Distributed Computation. On the other hand, we also like the term Applied Formal Semantics to describe our interests. Get more information from Mission & Vision.