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.