Program Schedule (tentative)

Mon Jul 5

Content Math Training Camp: open space (i.e., most tutors will be around, and those who are interested in learning how to use their software, can gather in small groups)

Tue Jul 6

Content Math Training Camp: open space

15:00–15:15
Jan Willem Knopper: MathDox software for communicating with Computer Algebra Systems using OpenMath
15:15–15:30
Jan Willem Knopper: Creating MathDox documents enriched with content math: a tool using LaTeX

Wed Jul 7 (morning)

Content Math Training Camp: short presentations and open space

9:30–9:45
Michael Kohlhase: sTeX, a semantically enhanced (La)TeX input language for OMDoc
9:45–10:00
Constantin Jucovschi: sTeXIDE, an editor and development environment for sTeX document collections
10:00–10:15
Jónathan Heras Vicente: an OpenMath Content Dictionary Editor (slides)
10:15–10:30
Urs Holzer: Gemse, a visual editor for Content and Presentation MathML 3
11:00–11:15
Christoph Lange: Processing and publishing OMDoc and other XML Content Math formats: overview of the JOMDoc Java API and the JOBAD JavaScript API (slides)
11:15–11:30
Philipp Schalldach: AIOS, an application for clustering and visualizing large amounts of 2D data
11:30–11:45
Ewaryst Schulz: OMDoc import/export of Hets (Heterogeneous Tool Set) (slides)
11:45–12:00
Jan Willem Knopper: MathDox formula editor: an easy to integrate editor that outputs OpenMath
12:00–12:15
Mickaël Gastineau: the SCSCP C Library (for C and C++)
12:15–12:30
Christoph Lange: TNTBase, a versioned database for XML documents (with some special OMDoc support) (slides)

Wed Jul 7 (afternoon)

Doctoral Programme: tutorials for Ph.D. students, and talks by Ph.D. students

15:00-15:45
Tutorial James Davenport: "So the thesis is going well: what else should I do with the work I've done" (slides)
15:45-16:15
Xiaoyu Chen: Geometric Knowledge Management
17:00-17:30
Jónathan Heras: Symbolic Computation in Algebraic Topology
17:30-18:00
Daniel Kuehlwein: The Naproche project
18:00-18:30
Mélanie Jacquel: B Proof Automation

Thu Jul 8 (afternoon)

Doctoral Programme continues: tutorials for Ph.D. students, and talks by Ph.D. students

15:00-15:45
Tutorial Serge Autexier: "How to write a research paper" (slides)
15:45-16:15
Fulya Horozal: A Comprehensive Logical Framework
16:15-16:45
Constantin Jucovschi: Tools for Efficient Semantic Enhancement of Mathematical Documents
17:00-17:30
Pierre-Nicolas Tollitte: TBD
17:30-18:00
Osama Taleb: A Flexible Framework for Experimental Mathematics
18:00-18:30
Su Wei: Web-based Mathematics Education and Mathematical Knowledge Management

Fri Jul 9

Content Math Training Camp: short presentations and open space

9:15–9:30
Paul Libbrecht: jEditOQMath, an editor for OMDoc documents targetting ActiveMath
9:30–9:45
Makarius Wenzel: jEdit editing interface for the Isabelle proof assistant