OpenMath/MathML/JEM 2007 (June 25-26, 2007)