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:45Tutorial James Davenport: "So the thesis is going well: what else should I do with the work I've done" (slides)
15:45-16:15Xiaoyu Chen: Geometric Knowledge Management
17:00-17:30Jónathan Heras: Symbolic Computation in Algebraic Topology
17:30-18:00Daniel Kuehlwein: The Naproche project
18:00-18:30Mé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:45Tutorial Serge Autexier: "How to write a research paper" (slides)
15:45-16:15Fulya Horozal: A Comprehensive Logical Framework
16:15-16:45Constantin Jucovschi: Tools for Efficient Semantic Enhancement of Mathematical Documents
17:00-17:30Pierre-Nicolas Tollitte: TBD
17:30-18:00Osama Taleb: A Flexible Framework for Experimental Mathematics
18:00-18:30Su 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
