Michael Kohlhase is president of the OpenMath Society and a trustee of the Interest Group for Mathematical Knowledge Management (MKM).
Michael Kohlhase ist Präsident der OpenMath Society und Vorstandsmitglied der Interessengruppe Mathematical Knowledge Management (MKM).