Towards a Digital Mathematics Library
July 20-21st, 2011, Bertinoro, Italy, c/o
CICM 2011
News |
Objectives |
Programme |
Deadlines |
Submissions |
Proceedings |
Keynote |
Topics |
Committees |
Accommodation |
Travel |
Registration |
Feedback
- 21.7.2011, DML business meeting (minutes) at the end of the DML agreed
DML will become a regular track on the next CICM with papers
both in Springer LNAI and CICM WiP proceedings.
- 20.7.2011, DML started with 50+ attendance, panel, and EuDML
session.
- 17.7.2011, Full papers published in DML-CZ and
linked on the DML Programme page.
- 17.7.2011, Proceedings on site.
- 15.7.2011, Proceedings published.
- 13.7.2011, Proceedings sent to the printer.
- 08.7.2011, Draft of DML programme posted.
- 20.6.2011, Acceptance/conditional aceptance/rejection letters sent.
- 27.5.2011, Third Call for papers sent out,
with revised submissions schedule.
- 2.5.2011, Second Call for papers sent out.
- 5.3.2011, First Call for papers sent out.
- 2.3.2011, draft of DML 2011 workshop webpage
Mathematicians dream of a digital archive containing all peer-reviewed
mathematical literature ever published, properly linked,
validated and 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.
Following success of DML 2008,
DML 2009 and
DML 2010,
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
as EuDML, 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 or TeX);
- retro-born-digital mathematics (from existing electronic copy in
DVI, PS or PDF to MathML or TeX);
- born-digital mathematics (how to make needed metadata and file formats
available as a side effect of publishing workflow
[CEDRAM/Euclid model])?
Revised schedule for full papers and for short papers and posters
- June 10th: submission for the proceedings
- June 20th: paper acceptance/rejection notification
- June 27th: camera ready versions for the proceedings
- July 18th/20th: CICM/DML conference date, proceedings on site and
in digital library
Every submission was refereed by at least two (some by 3 or 4)
PC members on the basis of technical quality, novelty,
potential impact for building DML, and clarity.
Submission format:
Papers should conform to the Springer LNCS style, preferably
using LaTeX2e and the
Springer llncs class files.
Submission categories:
Full paper: 5-15 LNCS pages
Short paper/poster/demo/work in progress report: 2-5 LNCS pages.
Paper length is not strict for both categories.
Submission upload
Via Easychair
conference system.
will be published by the Masaryk University Press.
All previous DML proceedings have been indexed by Thomson Reuters in
Conference
Proceedings Citation Index CPCI and Google Scholar and are available
in digital form from electronic archive DML-CZ.
Best papers might be chosen for a postconference book published
by renowned publisher or for a journal special issue
[as in 2008,
cf. MCS Vol 3, issue 3].
Sorry to say, no DML proposals (there were sent four)
for keynote speaker on DML day were accepted by hosting
conference CICM :-(.
(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 or TeX output
- natural language processing of mathematical content
(math NLP), mathematical corpora linguistics, mathematical thesauruses, ontologies, mathematical text mining
- document conversions from and 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 documents metadata exchange via OAI-PMH and/or OAI-ORE
- long term archiving, data migration
- reports and experience from math digitization projects or EuDML
- math publishing with long term archival goal
- software engineering aspects of creating, handling MathML,
OMDoc, OpenMath documents, and displaying them in web browsers
Programme Committee:
- José Borbinha (Technical University of Lisbon, IST, PT)
- Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) [co-chair]
- Michael Doob (University of Manitoba, Winnipeg, CA)
- Thomas Fischer (Goettingen University, Digitization Center, DE)
- Yannis Haralambous (Télécom Bretagne, FR)
- Václav Hlaváč (Czech Technical University, Faculty of Engineering, Prague, CZ)
- Michael Kohlhase (Jacobs University Bremen, DE)
- Janka Chlebíková (Portsmouth University, School of Computing, UK)
- 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) [co-chair]
- Masakazu
Suzuki (Kyushu University, Faculty of Mathematics, JP)
Organizing Committee:
Petr Sojka, Michal Růžička, in addition to the CICM local chair Andrea Asperti
-- Indeed I enjoyed the workshop. And I enjoyed a lot the friendly
atmosphere - we didn't really feel like outsiders. So thanks for that.
-- I liked the DML workshop, and I hope we will be able to contribute
to EuDML in the near future.
|
|
|
|
|
|
Do you want to know more about DML 2011?
Comments/questions/inquiries: to be sent to:
dml2011 at easychair dot org.
News