OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
The 26th OpenMath Workshop wil be held July 7th 2014 aside of CICM 2014 in Coimbra, PT