OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
The 31st OpenMath Workshop was held July 30, 2021 at CICM 2021 online.