posted by user: sojka || 7304 views || tracked by 14 users: [display]

DML 2011 : DML 2011: Towards a Digital Mathematics Library


When Jul 20, 2011 - Jul 21, 2011
Where Bertinoro
Abstract Registration Due Apr 30, 2011
Submission Deadline May 7, 2011
Notification Due May 30, 2011
Final Version Due May 7, 2011
Categories    digital libraries   mathematics   information retrieval   communication

Call For Papers

Call for papers: Towards a Digital Mathematics Library (DML 2011)
July 20-21st, 2011, Bertinoro, Italy c/o CICM 2011


Deadlines: April 30th: abstract submissions
May 7th: paper submissions
May 30th: paper acceptance/rejection decision
June 7th: versions for the proceedings due
July 20th: workshop date, proceedings on site

Submissions will be refereed on the basis of technical quality, novelty,
potential impact for building DML, and clarity. Final paper versions should
conform to the Springer LNCS (llncs class) style, preferably using LaTeX2e.
Full papers might be also offered for DML session at MKM:

Submission categories:
Full paper: 5-15 LNCS pages
Short paper/poster/work in progress report: 2-5 LNCS pages

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
(EuDML, NUMDAM, Euclid, DML-CZ,...), 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)?

will be published by Masaryk University Press and will be available on site
in printed form and in digital form from DML-CZ repository. All previous
DML proceedings have been indexed by Thomson Reuters in Conference Proceedings
Citation Index CPCI and by Google Scholar and are available in digital form
at . Best papers might be chosen for
a postconference book published by renowned publisher or for a journal special

Keynote (TBD):

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

Programme Committee (some members approval pending):
Jose Borbinha (Technical University of Lisbon, IST, PT)
Thierry Bouche (University Grenoble, Cellule Mathdoc, FR)
Michael Doob (University of Manitoba, Winnipeg, CA)
Thomas Fischer (Goettingen University, Digitization Center, DE)
Yannis Haralambous (Telecom Bretagne, FR)
Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ)
Michael Kohlhase (Jacobs University Bremen, DE)
Janka Chlebikova (Comenius University, MFF, Bratislava, SK)
Enrique Macias-Virgos (University of Santiago de Compostella, ES)
Jiri Rakosnik (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)

Organizing Committee:
Petr Sojka, Michal Ruzicka, Andrea Asperti, James Davenport

Registration, Travel, Accomodation: see CICM web pages

Questions/inquiries: email to dml2011 at easychair dot org

Related Resources

CFMAI 2023   2023 5th International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2023)
ISCAI 2023   2023 5th International Symposium on Computing and Artificial Intelligence (ISCAI 2023)
CIKM 2023   Conference on Information and Knowledge Management
CFDSP 2023   2023 International Conference on Frontiers of Digital Signal Processing (CFDSP 2023)
ICMAI 2023   2023 8th International Conference on Mathematics and Artificial Intelligence (ICMAI 2023)--SCI
SI MAI 2023   SPECIAL ISSUE on Mathematics for Artificial intelligence and Artificial intelligence for Mathematics
IEEE Xplore-Ei/Scopus-CCCAI 2023   2023 International Conference on Communications, Computing and Artificial Intelligence (CCCAI 2023) -EI Compendex
AIFZ 2023   9th International Conference on Artificial Intelligence and Fuzzy Logic Systems
LLL 2023   10th International Conference on Language, Literature, Linguistics 2023
AMMS 2023   2023 5th International Applied Mathematics, Modelling and Simulation Conference (AMMS 2023)