OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
The 27th OpenMath Workshop will be held July 25/29 2016 aside of CICM 2016 in Bialystok, PL.