OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
The 29th OpenMath Workshop will be held August 13. 2018 at CICM 2018 Hagenberg, Austria.