RISC, Schloss Hagenberg, University of Linz June 25-26th, 2007
The 8th OpenMath Workshop is a meeting place for developers and users of the OpenMath standard. The recent developments and applications of OpenMath are presented at this yearly event.
OpenMath is a standard for communicating semantically-rich representations of mathematical objects between all kinds of computer programs. The communication can take place between software packages and on the World Wide Web. The associated tools will permit the display, manipulation and access of mathematical information stored electronically.
This day has been recorded.
Christoph Lange, OM Presentation with Flexible Elisions (abstract and slides)
Paul Libbrecht: Content Dictionary Notations (abstract and slides)
Sam Dooley: A Functional Reformulation of MathML 2 Content Markup (abstract and slides)
OpenMath3 panel and brainstorming (moderator: Michael Kohlhase) (recording)
Mika Seppälä: Why PowerPoint? (abstract and slides)
Temur Kutsia: The SCIEnce project: symbolic computation for Europe
Matti Pauna: A JEM repository of educational content for mathematics (recording of low quality)
Recordings of the Workshop are being processed and have a quite variable degree of quality unfortunately (with some holes and some sound missing). Please find:
The workshop waspresented in rtsp in live from the URLs.
The ability to play the stream may strongly depend on network configuration and proxies. It is advised to use a firewall free NAT-free network but usage of UPnP and other protocols may help. If you can play the test stream at http://media.activemath.org/sample_h264_300kbit.mp4 you will be able to watch the stream. Note that the jaggering-at-start is normal.
The main themes of this year’s meeting will be the Alignment with
MathML3 and the use of OpenMath in Education. The program will
consist of tutorials and contributed talks, and will be organized
into two one-day tracks.
The W3C has chartered the Math Working Group with revising the MathML2
standard until Spring 2008. In this endeavor, the Math working group is revising the content-MathML sublanguage to be isomorphic with
OpenMath. This will greatly enhance interoperability of content
communication for math software systems. We will start off the track by an OpenMath/MathML tutorial, and a presentation of the current content
MathML3 working draft.
The main topic will be discussions on technical issues of the alignment,
possible changes to OpenMath, and perspectives for content Mathematics.
The JEM, Joining Educational Mathematics, thematic network is promoting contributions that highlight new developments and use of semantic markup in digital content designed for eLearning. The possibility to manipulate and communicate mathematical objects without loss of information allows for rich, interactive materials that are ideal in education. New technologies, software libraries and tools, case studies, comparative surveys, and success stories related to semantic markup such e.g. OpenMath, Content MathML, MathBook-MathDox, OMDoc, MathQTI, PhysML, are also welcome.
The workshop takes place as part of the
RISC Summer 2007,
before the Workshop on Mathematical Interfaces (MathUI),
the 6th Conference on Mathematical Knowledge Management (MKM2007), and the Calculemus Symposium.
Registration will be handled by the RISC summer.
On June 25. 2007 the annual general meeting of the OpenMath Society will be held. More information will be posted as available on the OpenMath Society web pages.
We are calling for contributed talks on these topics.
Contributed Talks should be submitted by e-mail to the Organizers
along with one-page html-formatted abstract until June 1st 2007.