DML 2009: Programme

Towards a Digital Mathematics Library

July 8-9th, 2009, Grand Bend, Ontario, Canada c/o CICM 2009

The workshop venue is the Oakwood Inn Resort, located on the sandy shore of Lake Huron at Grand Bend, Ontario (Canada). How to get there?

Wednesday, July 8th, 2009, Terrace Room

08:45--09:00 * Opening * Towards a Digital Mathematics Library 
     Petr Sojka (Masaryk University, Brno, Czech Republic)

Towards Mathematical OCR and Search (Session Chair: Masakazu Suzuki)

09:00--09:30 * An Approach to Similarity Search for Mathematical Expressions using MathML
     Keisuke Yokoi (University of Tokyo, Japan) and 
     Akiko Aizawa (University of Tokyo, National Institute of Informatics, Japan)
09:30--10:00 * Improving Mathematics Retrieval
     Shahab Kamali and Frank Wm.~Tompa (University of Waterloo, Canada)
10:00--10:30 * An Online Repository of Mathematical Samples
     Josef B. Baker, Alan P. Sexton, and Volker Sorge (University of Birmingham, UK)

10:30--11:00 * Coffee Break

Digitization Reports (Session Chair: Michael Doob) 

11:00--11:30 * Report on the Current State of the French DMLs
     Thierry Bouche (Universit\'e de Grenoble & CNRS, France)
11:30--12:00 * Experimental DML over Digital Repositories in Japan
     Takao Namiki, Hiraku Kuroda, and Shunsuke Naruse (Hokkaido University, Sapporo, Japan)

12:00--15:00 * Lunch Break

15:00--16:00 * Invited talk: Math-Literate Computers (Dorothea Blostein)

16:00--16:20 * Coffee Break

Digitization Technologies and Platforms, Tools (Session Chair: Volker Sorge)

16:20--16:50 * Document Interlinking in a Digital Math Library
     Claude Goutorbe (Cellule Mathdoc, Universit\'e Joseph Fourier and Centre 
     National de la recherche Scientifique, Grenoble, France) 
     [presented by Thierry Bouche]
16:50--17:20 * I2Geo: a Web-Library of Interactive Geometry
     Paul Libbrecht (DFKI GmbH, Saarbr\"ucken, Germany), 
     Ulrich Kortenkamp (University of Education Karlsruhe, Germany) and 
     Christian Mercat (I3M, Universit\'e Montpellier 2, France)
17:20--17:50 * Ongoing Efforts to Generate "Tagged PDF" using pdfTeX
     Ross Moore (Macquarie University, Sydney, Australia). demo files
17:50--18:00 * Report on DML-CZ
     Petr Sojka (Masaryk University, Brno, Czech Republic)


Thursday, July 9th, 2009, Terrace Room

Tools and Techniques (Session Chair: Thierry Bouche)

11:00--11:30 * MathML-aware Article Conversion from LaTeX 
     Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir 
     Zamdzhiev, Michael Kohlhase (Jacobs University Bremen, Germany)
     [presented by Rob Miner]
11:30--12:00 * Conversion of TeX Documents to PDF
     Aleksandar Pejovi\'c and \v{Z}arko Mijajlovi\'c 
     (Mathematical Institute SANU, Belgarde, Serbia)

12:00--15:00 * Lunch Break

Towards a Digital Mathematics Library (Session Chair: Petr Sojka)

15:00--16:00 * Invited talk: The Evolving Digital Mathematics Network
     David Ruddy (Cornell University Library, USA)

16:00--16:20 * Coffee Break

16:20--17:00 * Community Curation and Management of Mathematical Literature
     John Burns and Nigel Kerr (Ithaka/JSTOR, USA)
17:00--17:40 * Report on EuDML and EVLM activities
     Thierry Bouche (Universit\'e de Grenoble~I & CNRS, France)

17:40--18:15 * Break

18:15--19:45 * Panel/round table discussion: 
Towards a Digital Mathematics Library: Next Steps

Thierry Bouche (EuDML/EVLM/NUMDAM and CEDRAM, FR), 
John Burns (Ithaka/JSTOR, USA), 
Michael Doob (University of Manitoba, Canada), 
Patrick Ion (AMS, USA),
Robert Miner (Design Science, USA),
David Ruddy (Cornell University Library, USA),
Petr Sojka (DML-CZ, CZ), 
Masakazu Suzuki (Japanese digitization projects, JP) 

1) What technologies, standards, algorithms and formats should be
   used and what metadata should be shared?
2) What business models are suitable for publishers of mathematical
   literature, authors and funders of their projects and institutions?
3) Is there a model of sustainable, interoperable, and extensible
   mathematical library that mathematicians can use in their everyday work?
4) What is the best practice for
   a) retrodigitized mathematics (from images via OCR to MathML and/or TeX);
   b) retro-born-digital mathematics (from existing electronic copy in
      DVI, PS or PDF to MathML and/or TeX);
   c) born-digital mathematics (how to make needed metadata and file formats
      available as a side effect of publishing workflow [CEDRAM/EUCLID model])?
5) What are the next steps towards common goal?

DML 2009 | Valid XHTML 1.1! | Valid CSS! | logo dogma W4 | Viewable with any browser | Open Content
Comments/questions/inquiries: to be sent to: dml2009 at easychair dot org.