Die DFG fördert für ein Vierteljahr den Gastaufenthalt von Dr. Pedro Sánchez Terraf von der Facultad de Matemática, Astronomía y Física der Universidad Nacional de Córdoba (Argentinien) am Lehrstuhl für Software-Technologie der Fakultät für Informatik.
Die Kooperation mit dem Lehrstuhl 10 konzentriert sich auf Markoffsche Transitionssysteme und Effektivitätsfunktionen, insbesondere die Frage nach Bedingungen für die Existenz von Bisimulationen für diese Systeme.