DML 2008: Workshop Programme

Towards Digital Mathematics Library

July 27th, 2008, Birmingham, UK c/o MKM 2008

The workshop venue is the University of Birmingham Medical School. How to get there? We will have the main lecture hall (Room 1) all the time.

8:00--8:55 Registration (UB Medical School)

9:00--9:10 Opening * Towards Digital Mathematics Library 
    Petr Sojka (Masaryk University, Brno, Czech Republic)
9:10--10:00 Keynote * CEDRICS: When CEDRAM Meets Tralics  
    Thierry Bouche (Université de Grenoble I& CNRS, France)
10:00--10:25 * From Pixels and Minds to the Mathematical Knowledge in a Digital Library
    Petr Sojka (Masaryk University, Brno, Czech Republic)
    Jiří Rákosník (Institute of Mathematics AS CR, Praha, Czech Republic)

Coffee Break

Towards Mathematical OCR and Search (chair: Masakazu Suzuki) [Room 1]
10:55--11:20 * Mathematical Formulae Recognition
    Daniel Průša (Czech Technical University, Prague, Czech Republic)
    Václav Hlaváč (Czech Technical University, Prague, Czech Republic)
11:20--11:45 * Extending Full Text Search Engine for Mathematical Content
    Jozef Mišutka (Charles University in Prague, Czech Republic)
    Leo Galamboš (Charles University in Prague, Czech Republic)
11:45--12:10 * Lexical Error Compensation in Handwritten-based Mathematical Information Retrieval
    Seyed Ali Ahmadi (George Washington University, United States)
    Abdou Youssef (George Washington University, United States)
12:10--12:35 * Mathematical Document Classification via Symbol Frequency Analysis
    Stephen M. Watt (University of Western Ontario, London Ontario, Canada)

Lunch Break

DML-CZ Pilot Project -- from Metadata to Presentation (chair: Thierry Bouche) [Room 1]
14:00--14:25 * DML-CZ Metadata Editor
    Miroslav Bartošek (Masaryk University, Brno, Czech Republic)
    Petr Kovář (Masaryk University, Brno, Czech Republic)
    Martin Šárfy (Masaryk University, Brno, Czech Republic)
14:25--14:50 * Automated Processing of TeX-Typeset Articles for a Digital Library
    Michal Růžička (Masaryk University, Brno, Czech Republic)
14:50--15:15 * Building the Czech Digital Mathematics Library upon DSpace System
    Vlastimil Krejčíř (Masaryk University, Brno, Czech Republic)

Coffee Break

15:35 Poster Session Introductions; Author's expositions to the posters (chair: Petr Sojka) [Room 1]
15:35--15:40 * Current Status of Mathematical Publications in Japan
    Takao Namiki (Hokkaido University, Sapporo, Japan)
15:40--15:45 * Extracting Precise Data on the Mathematical Content of PDF Documents
    Josef B. Baker (University of Birmingham, United Kingdom)
    Alan P. Sexton (University of Birmingham, United Kingdom)
    Volker Sorge (University of Birmingham, United Kingdom)
15:45--15:50 * Small Scale Retrodigitization
    Michael Doob (The University of Manitoba, Canada)
15:50--15:55 * A Language Engineering Architecture for Processing Informal Mathematical Discourse
    Magdalena Wolska (Saarland University, Germany)
15:55--16:00 * Migration of the Mathematical Collection of Polish Virtual Library of 
               Science to the YADDA Platform
    Katarzyna Zamlynska (University of Warsaw, Poland)
    Lukasz Bolikowski (University of Warsaw, Poland)
    Tomasz Rosiek (University of Warsaw, Poland)

16:00--17:00 Poster Session [Poster room] 

Digitization Reports (chair:  Jiří Rákosník)
17:00--17:25 * Digitization of Mathematical Editions in Serbia
    Žarko Mijajlović (Faculty of Mathematics, Belgrade, Serbia)
    Zoran Ognjanović (Mathematical Institute, Belgrade, Serbia)
17:25--17:50 * RusDML 2008
    Bernd Wegner, presented by Wolfram Sperber (Mathematical Institute, TU Berlin, Germany)

Short Technical Break

18:00--19:00 Panel/round table discussion: 
Towards Digital Mathematics Library [Room 1] 
sir John Ball, CEIC chair, expresident of IMU
Thierry Bouche (NUMDAM and CEDRAM), 
Žarko Mijajlović (Serbian DML), 
Masakazu Suzuki (Japanese digitization projects), 
Jiří Rákosník (DML-CZ), 
Petr Sojka (DML-CZ), 
Enrique Macias-Virgos (Spanish DML)
Wolfram Sperber (Zentralblatt MATH, instead of Bernd Wegner), 
Katarzyna Zamlynska  (Polish Virtual Library of Mathematics).
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
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 model])?

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