[isabelle] CfP: OpenM ath/MathML/JEM Workshop (June 25/26; RISC Linz)



[Apologies for double posing]


  8th OpenMath Meeting (joint with JEM)

*RISC, Schloss Hagenberg, University of Linz*

*June 25-26th, 2007*

Details: http://www.openmath.org/meetings/linz2007/


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.


    Scope

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.


    Related Events

The workshop takes place as part of the RISC Summer 2007
<http://www.risc.uni-linz.ac.at/about/conferences/summer2007/>, directly
before the Workshop on Mathematical Interfaces (MathUI)
<http://www.activemath.org/~paul/MathUI07/>, the 6th Conference on
Mathematical Knowledge Management (MKM2007)
<http://www.cs.bham.ac.uk/~mmk/events/MKM07/>, and the Calculemus
Symposium
<http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/>.

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.


    Call for contributions

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.


    Organizers

    * Olga Caprotti, Helsinki University: olga.caprotti at helsinki.fi
    * Michael Kohlhase, Jacobs University Bremen:m.kohlhase at iu-bremen.de
    * Paul Libbrecht, DFKI  paul at activemath.org.


--
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62
 Professor for Computer Science    Campus Ring 12,
 School of Engineering & Science   D-28759 Bremen, Germany
 International University Bremen*  tel/fax: +49 421 200-3140/-493140
 <m.kohlhase at iu-bremen.de>     http://kwarc.eecs.iu-bremen.de/kohlhase
                         * Jacobs University Bremen as of Spring 2007
----------------------------------------------------------------------






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.