Jacobs University is a new private research university patterned after the Anglo-Saxon university system. The university was founded in 2000 and has an international student body (ca. 800 students from over 70 nations, admitted in a highly selective process). The IUB Group (KWARC: Knowledge Adaptation and Reasoning for Content) is the main center and lead implementer of the OMDoc mathematical representation format, an XML-based representation format for Open Mathematical Documents. OMDoc extends the web standards content-MathML and OpenMath by content-oriented representations for mathematical statements (Definition, Theorems, Proofs, …) and a rich structure of mathematical theories and contexts.) Bremen is involved in the W3C Math Working group and was involved in the development of OpenMath 2.

For more information on the KWARC group please see the website or our flyer (see attachment).