[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: pvs@xxxxxxxxxxx*Subject*: [PVS] CFPart: DML 2009--Towards a Digital Mathematics Library,Ontario, CA, Jul 8-9th*From*: dml2009@xxxxxxxxxxxxx*Date*: Tue, 30 Jun 2009 02:34:33 +0200 (CEST)*List-Archive*: <http://lists.csl.sri.com/mailman/private/pvs>*List-Help*: <mailto:pvs-request@csl.sri.com?subject=help>*List-Id*: PVS <pvs.csl.sri.com>*List-Post*: <mailto:pvs@csl.sri.com>*List-Subscribe*: <http://lists.csl.sri.com/mailman/listinfo/pvs>,<mailto:pvs-request@csl.sri.com?subject=subscribe>*List-Unsubscribe*: <http://lists.csl.sri.com/mailman/listinfo/pvs>,<mailto:pvs-request@csl.sri.com?subject=unsubscribe>*Reply-To*: dml2009@xxxxxxxxxxxxx*Sender*: pvs-bounces+archive=csl.sri.com@xxxxxxxxxxx

Call for participation: Towards a Digital Mathematics Library (DML 2009) July 8-9th, 2009, Grand Bend, Ontario, Canada Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2009.html Registration: http://www.orcca.on.ca/conferences/cicm09/cicm09/registration.html Travel: http://www.orcca.on.ca/conferences/cicm09/cicm09/travel.html Accomodation: http://www.orcca.on.ca/conferences/cicm09/cicm09/accommodation.html Overview: 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/Euclid])? Proceedings: has been published by Masaryk University Press and will be available on site. Papers and Posters selected for presentation at the workshop: Part I Towards Digital Mathematics Library * The Evolving Digital Mathematics Network (invited talk) David Ruddy (Cornell University Library, USA) * Community Curation and Management of Mathematical Literature John Burns and Nigel Kerr (Ithaka/JSTOR, USA) Part II Towards Mathematical OCR and Search * An Approach to Similarity Search for Mathematical Expressions using MathML Keisuke Yokoi (University of Tokyo, Japan) and Akiko Aizawa (University of Tokyo, National Institute of Informatics, Japan) * Improving Mathematics Retrieval Shahab Kamali and Frank Wm.~Tompa (University of Waterloo, Canada) * An Online Repository of Mathematical Samples Josef B. Baker, Alan P. Sexton, and Volker Sorge (University of Birmingham, UK) Part III Digitization Reports * Report on the Current State of the French DMLs Thierry Bouche (Universit\'e de Grenoble~I & CNRS, France) * Experimental DML over Digital Repositories in Japan Takao Namiki, Hiraku Kuroda, and Shunsuke Naruse (Hokkaido University, Sapporo, Japan) Part IV Digitization Technologies and Platforms * Document Interlinking in a Digital Math Library Claude Goutorbe (Cellule Mathdoc, Universit\'e Joseph Fourier and Centre National de la recherche Scientifique, Grenoble, France) * I2Geo: a Web-Library of Interactive Geometry Paul Libbrecht (DFKI GmbH, Saarbr\"ucken, Germany), Ulrich Kortenkamp (University of Education Karlsruhe, Germany) and Christian Mercat (I3M, Universit\'e Montpellier 2, France) Part V Tools and Techniques * MathML-aware Article Conversion from LaTeX Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev, Vladimir Zamdzhiev, Michael Kohlhase (Jacobs University Bremen, Germany) * Conversion of TeX Documents to PDF Aleksandar Pejovi\'c and \v{Z}arko Mijajlovi\'c (Mathematical Institute SANU, Belgarde, Serbia) Panel/round table discussion: Towards a Digital Mathematics Library: the Next Steps Panelists to be confirmed: Thierry Bouche (EuDML/EVLM/NUMDAM and CEDRAM), John Burns and/or Nigel Kerr (Ithaka/JSTOR, USA), Michael Doob (Canada), Patrick Ion (AMS, USA), David Ruddy (Cornell University Library, USA), Masakazu Suzuki (Japanese digitization projects), Petr Sojka (DML-CZ), Enrique Macias-Virgos (Spanish DML) Workshop topics: (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: 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 (Télécom Bretagne, FR) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) 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) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Volker Sorge (University of Birmingham, UK) Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Bernd Wegner (Technical University & Zentralblatt MATH, Berlin, DE) Organizing Committee: Michael Doob, Michal Ruzicka, Petr Sojka Questions/inquiries: mail to dml2009 at easychair dot org CFP distribution: Please, distribute at your place. And apologies for multiple postings!

- Prev by Date:
**[PVS] INAP 2009: DEADLINE EXTENSION and Final Call for Papers** - Next by Date:
**[PVS] GAMES 2009: CALL FOR CONTRIBUTIONS** - Prev by thread:
**[PVS] INAP 2009: DEADLINE EXTENSION and Final Call for Papers** - Next by thread:
**[PVS] Deadline Extended: International Symposium onRevisionCalculus and Applications (RCA' 09)** - Index(es):