SWiM, the Semantic Wiki for Mathematical Knowledge Management, is now being used for the revision of the OpenMath 3 Content Dictionaries. The wiki at wiki.openmath.org contains the latest draft versions of these content dictionaries. Anybody can browse and discuss. The OpenMath 3 developers can also edit. This paper explains how the system works.

Detailed description of the ongoing case study

In view of the new release of the a MathML3 working draft, discussions have been reopened on the implication of this alignment for OpenMath. A new OpenMath3 might be on its way but it needs the input of fresh users such as the Inter2Geo, Interoperable interactive Geometry for Europe, community. To voice your requirements, use the om3 mailing list.

OQMath is a simple file processor which delegates to QMath for the mathematical formula (contained between $-signs, but leaves the rest intact.

OQMath is a Java command-line processor delivered under the Mozilla Public License.

It is integrated into jEditOQMath web-start distributions.

See the OQMath home page.

QMath is an extensible processor for readable text files which can output OMDoc files.

It shines by its usage of Unicode.

See the home page of QMath.

jEditOQMath is a text-editor, jEdit, boosted with facilities to edit OMDoc content. It is tuned for the ActiveMath learning environment.

We hear often how the OpenMath web site needs a face lift. The new "Web Officer" for OpenMath is Paul Libbrecht, so please send all suggestions and offers to help to him.

We have to revise numbering of the OpenMath workshops since, as we did this year, we lost the feeling of the long history of OpenMath. Actually the 8th OpenMath workshop already took place 10 years ago in Nice according to the list of workshops before 1998. Here is a list again:

• 1 - Department of Mathematical Computation, ETH Zurich in December 1993
• 2 - 18-19 July 1994 (just before ISSAC'94) at St. Catherine's College, Oxford University

This is a busy week at RISC with one conference following another for 6 days straight. It started with the OM/JEM workshop, today is the MathUI workshop and from tomorrow to Saturday it will be MKM2007. MKM returns after 6 years back to RISC where Bruno Buchberger and I organized the first one ever in 2001. It is interesting that several of the participants are still here.