July 27th, 2008, Birmingham, UK c/o CICM/MKM 2008
News  Objectives  Programme  Deadlines  Submissions  Proceedings  Keynote  Topics  Committees  Accommodation  Travel  Registration
Mathematicians dream of a digital archive containing all peerreviewed 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:
Every submission was refereed by three PC members on the basis of technical quality, novelty, potential impact for building DML, and clarity.
Full paper: 412 LNCS pages
Short paper/poster/demo/work in progress report: 14 LNCS pages
was published (194 pages with author, name and subject indexes) by Masaryk University (ISBN 9788021046580). You may order it from this eshop. Best papers were chosen for a journal issue of Mathematics in Computer Science: [CFP, MCS Vol 3, issue 3].
Part I Towards Digital Mathematics Library * Some Thoughts on the NearFuture 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 Handwrittenbased 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 * DMLCZ 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 TEXTypeset Articles for a Digital Library Michal Růžička (Masaryk University, Brno, Czech Republic)
Thierry Bouche (Universite de Grenoble I, CNRS, Institut Fourier & Cellule Mathdoc): CEDRICS: when CEDRAM meets Tralics
(include, but are not limited to)
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.