REMU – Reliable Multilingual Digital Communication : Methods and Applications

The REMU project addresses the problem of reliable multilingual communication in a digital setting. It is a cooperation of research groups from language technology, software testing and formal methods. REMU has three tracks: a translation track, in which human language translation is approached with methods from compiler technology, to guarantee meaning preservation; a testing track, in which software testing techniques are applied to grammars of natural language, to guarantee their quality; and a formal methods track, where logical reasoning is applied to documents written in natural language.