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.