Content Math Training Camp
with Doctoral Programme

Paris, France, 5th, 6th, 7th, 9th July 2010


Some Student Grants Available!

The Content Math Training Camp is a training school comprising tutorial sessions and practical labs together with an integrated Doctoral Programme. Its aim is to disseminate the latest developments and emerging trends in intelligent computational mathematics as well as to familiarise, in particular young researchers, with the leading state of the art technologies for authoring, presenting, conserving and accessing mathematical knowledge and their applications.

The developers of a number of core technologies have preliminarily agreed to provide training on their tools and languages. If you intend to participate in the Training Camp, please let us know beforehand what you are particularly interested in, so that we can optimise the schedule. Also let us know if you can't join on a certain day. For example: "I am developing a digital library authoring tool and would like to integrate the LaTeX to MathDox translator. But I would only be available on the 7th.", or "I think I may need OMDoc and would like to learn more about it and about related tools. I will be around on all days." We are also happy to receive proposals for presenting your own tool.
List of topics (see the program for details and the presentations

):
  • AIOS, a Kohonen-Mapping (SOFM), and thus topological mapping, based application capable of clustering large amounts of mainly, one dimensional-causal related, 2D cartesian data. Availability of visualisation includes standard visualisation techniques and OpenGL viewing modules. Approaches on further using the topological aspects theorywise are a matter of discussion.
  • Gemse, a visual editor for Content and Presentation MathML 3
  • OMDoc import/export of Hets (Heterogeneous Tool Set)
  • jEditOQMath, an editor for OMDoc documents targetting ActiveMath
  • JOBAD, a framework for integrating interactive mathematical services into web documents
  • JOMDoc, a Java API for OMDoc
  • MathDox formula editor, LaTeX to MathDox translator, possibly a text+formula editor
  • MMT, a module system for mathematical theories
  • an OpenMath Content Dictionary Editor
  • SCIEnce libraries for symbolic computation with OpenMath:
    • the SCSCP C Library (for C and C++)
    • possibly POPCORN and the Java libraries
  • sTeX, a semantically enhanced (La)TeX input language for OMDoc
  • sTeXIDE, an editor and development environment for sTeX document collections
  • TNTBase, a versioned database for XML documents (with some special OMDoc support

It will be held as part of the Conferences on Intelligent Computer Mathematics (CICM 2010), a series of conferences and workshops that brings together researchers working in the intersection of Mathematics, Computer Science and Artificial Intelligence by combining some of the leading events in this area. The Training Camp has an integrated Doctoral Programme that will enable graduate students to discuss and present their research and ideas, and gain feedback from respected researchers within the areas of Mathematics, Computer Science and Artificial Intelligence.

For financial support see here.

Organisers

(Jacobs University Bremen, Germany)
(Jacobs University Bremen, Germany)
(University of Birmingham, UK)