DML 2008 workshop

Towards Digital Mathematics Library

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

News

09.8.2008 Lecture videos posted on DML 2008 talks videotaped posted on the web, presentation slides added to programme page.
06.8.2008 Blog devoted to DML 2008 and Nature article.
01.8.2008 Possibility of DML 2008 proceedings ordering via e-shop.
27.7.2008 Workshop succesfully completed, evaluated as very succesfull (50+ registered).
23.7.2008 Proceedings taken from printer.
16.7.2008 Workshop mentioned in Nature article (html) (PDF)
12.7.2008 Call for participation with list of accepted papers and posters sent widely to the world.
22.6.2008 Main reviewing phase and rebuttal phase ended.
01.6.2008 Reviewing started.
19.5.2008 Second Call for papers sent.
17.5.2008 Links to Accommodation, Travel and Registration added. This webpage is the first hit for Google's question "DML 2008" :-).
2.5. 2008 New DML 2008 workshop webpage, first Call for papers sent.

Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies.

The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects, asking such questions as:

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

Deadlines

Jul 27th: workshop date, proceedings on site

Submissions

Every submission was refereed by three PC members on the basis of technical quality, novelty, potential impact for building DML, and clarity.

Submission categories:

Full paper: 4-12 LNCS pages
Short paper/poster/demo/work in progress report: 1-4 LNCS pages

Proceedings

was published (194 pages with author, name and subject indexes) by Masaryk University (ISBN 978-80-210-4658-0). You may order it from this e-shop. Best papers were chosen for a journal issue of Mathematics in Computer Science: [CFP, MCS Vol 3, issue 3].

Papers and Posters accepted for publication and presentation:

Part I Towards Digital Mathematics Library

* Some Thoughts on the Near-Future Digital Mathematics Library
    Thierry Bouche (Université de Grenoble I, France)
* 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)
* Mathematical Document Classification via Symbol Frequency Analysis
    Stephen M. Watt (University of Western Ontario, London Ontario, Canada)

Part II Towards Mathematical OCR and Search

* Lexical Error Compensation in Handwritten-based Mathematical Information Retrieval
    Seyed Ali Ahmadi (George Washington University, United States)
    Abdou Youssef (George Washington University, United States)
* 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)
* Mathematical Formulae Recognition
    Daniel Průša (Czech Technical University, Prague, Czech Republic)
    Václav Hlaváč (Czech Technical University, Prague, Czech Republic)
* 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)

Part III Digitization Reports

* RusDML 2008
    Bernd Wegner (Mathematisches Institut, TU Berlin, Germany)
* Digitization of Mathematical Editions in Serbia
    Žarko Mijajlović (Faculty of Mathematics, Belgrade, Serbia)
    Zoran Ognjanović (Mathematical Institute, Belgrade, Serbia)
* Current Status of Mathematical Publications in Japan
    Takao Namiki (Hokkaido University, Sapporo, Japan)
* Small Scale Retrodigitization
    Michael Doob (The University of Manitoba, Canada)

Part IV Digitization Technologies and Platforms

* Building the Czech Digital Mathematics Library upon DSpace System
    Vlastimil Krejčíř (Masaryk University, Brno, Czech Republic)
* 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)
* A Language Engineering Architecture for Processing Informal Mathematical Discourse
    Magdalena Wolska (Saarland University, Germany)

Part V Digitization Tools

* 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)
* CEDRICS: When CEDRAM Meets Tralics (Keynote) 
    Thierry Bouche (Université de Grenoble I& CNRS, France)
* Automated Processing of TEX-Typeset Articles for a Digital Library
    Michal Růžička (Masaryk University, Brno, Czech Republic)

Keynote

Thierry Bouche (Universite de Grenoble I, CNRS, Institut Fourier & Cellule Mathdoc): CEDRICS: when CEDRAM meets Tralics

Topics

(include, but are not limited to)

search, indexing and retrieval of mathematical documents
ranking of mathematical papers, similarity of mathematical documents
math OCR with MathML/TeX output
document conversions from/to MathML, OpenMath, LaTeX, PostScript and [tagged] PDF
mathematical document compression
processing of scanned images
algorithms for crosslinking of bibliographical items, intext citations search
mathematical document classification, MSC 2010
mathematical text mining
mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE
long term archiving, data migration
reports and experience from math digitization projects
math publishing with long term archival goal
software engineering aspects of creating, handling MathML, OMDoc, OpenMath documents, and displaying them in web browsers

Committees

Programme Committee:

José Borbinha (Technical University of Lisbon, IST, PT)
Thierry Bouche (University Grenoble, Cellule Mathdoc, FR)
Thomas Fischer (Goettingen University, Digitization Center, DE)
Václav Hlaváč (Czech Technical University, Faculty of Engineering, Prague, CZ)
Janka Chlebíková (Comenius University, MFF, Bratislava, SK)
Enrique Maciás-Virgós (University of Santiago de Compostela, ES)
Jiří Rákosník (Academy of Sciences, Mathematical Institute, Prague, CZ)
Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT)
David Ruddy (Cornell University, Library, US)
Volker Sorge (University of Birmingham, UK)
Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair]
Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP)
Bernd Wegner (Zentralblatt MATH, Berlin, DE)

Organizing Committee:

Adam Rambousek, Michal Růžička, Petr Sojka, Volker Sorge

| | | | | |
Do you want to know more about DML 2008? Comments/questions/inquiries: to be sent to: dml2008 at easychair dot org.