Welcome to the OpenMath website. OpenMath is an extensible
standard for representing the semantics of mathematical objects. If you
haven't heard about it before you might want to consult the overview.
News
-
April 19th 2013: Announcing the OpenMath Workshop 2013
(to happen July 10th 2013 aside of CICM 2013 in Bath, UK):
Submission deadline: June 7th.
Submission formats: full paper, short paper, content dictionary, standard enhancement proposal.
-
October 17th 2012: Proceedings of the OpenMath Workshop 2012 published (jointly with the MathUI workshop and CICM Work in Progress papers)
-
April 3rd 2012: Announcing the OpenMath Workshop 2012
(to happen July 11th 2012 aside of CICM 2012 in Bremen, Germany):
Submission deadline: May 25th.
Submission formats: full paper, short paper, content dictionary, standard enhancement proposal.
-
July 8th 2010: The business meeting of the OpenMath
Society restarts the discussion process for a new version of the OpenMath standard
(the discussion started at Linz in 2007 stalled, since the people involved were too
distracted with MathML3). Discussions will be public on the OM3 Mailing list.
-
May 21th 2009: Announcing the OpenMath Workshop 2010
(to happen July 8th 2010 aside of CICM 2010).
-
July 8th 2009: OpenMath Workshop
2009 and Business
Meeting of the OpenMath Society
-
February 26th 2009: Announcing the OpenMath Workshop 2009
(to happen July 10th 2009 aside of CICM 2009).
-
March 12th 2009: The subversion server was down for a few weeks and is now back (see
svn log feed).
-
June 25th 2007: The Business meeting of the
OpenMath Society starts the discussion process for a new version of the OpenMath
standard with the goal of aligning with the content fragment of the new MathML3 standard
under development by the Math Working Group at
W3C. Discussions will be public on the OM3 Mailing list.
-
June 25th 2007: The Business meeting of the OpenMath Society elects a new
President (Michael Kohlhase),
Secretary (Olga Caprotti),
CD Editor (James Davenport), and
Web Officer (Paul Libbrecht).
-
June 19th 2007: The programme
8th OpenMath Workshop,
June 25-26, Linz, Austria is public
-
July 09 2006: The OpenMath web-site is now hosted by
DFKI GmbH.
The site is now built using a script, please send comments and requests to
Paul Libbrecht
since potentially many old URLs are not honoured anymore.
-
August 16 2005: LeActiveMath Release 3 is now available. ActiveMath is a web-based intelligent learning environment for
mathematics.
-
June 08 2005: Back online!
-
July 28 2004: Slides available from 10 years of OpenMath workshop,
Helsinki May 21-22.
-
July 27 2004: Update to OpenMath
- Guidelines for Tool Developers.
- July 16 2004 OpenMath 2 published.
- July 16 2004 OpenMath 2 CD Collection published.
- May 11 2004: Sixth draft of OpenMath 2 published.
- May 11 2004: Programme announced for 10 years of OpenMath workshop in Helsinki from May 21-22.
- April 27 2004: Test release of OM2 CDs published.
- April 27 2004: Test release of OM to presentation MathML stylesheets published.
- April 07 2004: Fifth draft of OpenMath 2 published.
- February 21 2004: Second announcement of 10 years of OpenMath workshop in Helsinki from May 21-22.
- February 10 2004: Preliminary announcement of 10 years of OpenMath workshop in Helsinki from May 21-22.
- February 6 2004: Online OpenMath Validation page installed
- December 1 2003: Proceedings of Bremen OpenMath Workshop published.
- November 24 2003: Fourth draft of OpenMath 2 published.
- November 05 2003: Third draft of OpenMath 2 published.
- October 31 2003: Second draft of OpenMath 2 published.
- October 13 2003: OpenMath Thematic Network workshop in
Bremen, November 7-8.
- October 13 2003: First public draft of
OpenMath 2 published.
- September 26 2003: Experimental release of RELAX NG schema for OpenMath.
- September 25 2003: Update to OpenMath - Guidelines for Tool Developers.
- September 10 2003: The electronic proceedings of the
Mathematics
on the Semantic Web workshop are available.
- September 2003: The first release of the
Foc library
for certified computer algebra uses OpenMath as an export format.
© The OpenMath Society 2001–2012