OpenMath Workshop, Linz, June 2007

(see also day 2)

Robert Miner: MathML-3 Roadmap
(camera quality)
Michael Kohlhase: Content MathML in MathML 3
(camera quality)
Discussion about MathML & OpenMath alignment
 Christoph Lange: OM Presentation with Flexible Elisions
(no recording) → abstract and slides
 Paul Libbrecht: Content Dictionary Notations
(no recording) → abstract and slides
 Sam Dooley: A Functional Reformulation of MathML 2 Content Markup
→ abstract and slides
Panel about OpenMath 3
 Paul Libbrecht: Visual Validation of MathML Rendered Pages
(camera quality) → abstract and slides
 Sebastian Xambo: Evolving the WebALT mathematical grammar library
(camera quality) → abstract and slides
 Rikko Verrijzer: Mathdox
(camera quality) → abstract and slides
 Florian Rabe: OMDoc Theory Graphs Revisited
(camera quality) → abstract and slides
 James Davenport: OpenMath: Symbols, CDs and Signatures
(camera quality) → abstract and slides

See programme and proceedings.