OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
The 28th OpenMath Workshop will be held July 17. 2017 at CICM 2017 in Edinburgh, Scotland.