DML 2010: Programme

Towards a Digital Mathematics Library

July 7-8th, 2010, CNAM, Paris, France c/o CICM 2010

The workshop venue was the Conservatoire National des Arts et Métier, located in the 3rd district of Paris (France).

Wednesday, July 7th, 2010

14:00--14:05 * Opening * Towards a Digital Mathematics Library (paper)
   Petr Sojka (Masaryk University, Brno, Czech Republic)
14:05--14:55 * Invited talk * Mathematical Formulae Recognition and
   Logical Structure Analysis of Mathematical Papers (paper, presentation)
   Masakazu Suzuki (Kyushu University, Kyushu, Japan)

Digitization Technologies and Platforms (Session Chair: Petr Sojka)

15:00--15:30 * EuDML--Towards the European Mathematics Digital Library 
  (paper, presentation)
   Wojtek Sylwestrzak (University of Warsaw, Warsaw, Poland), 
   Jos\'e Borbinha (Instituto Superior T\'ecnico, Lisbon, Portugal), 
   Thierry Bouche (Universit\'e Joseph-Fourier, Grenoble, France), 
   Aleksander Nowi\'nski (University of Warsaw, Warsaw, Poland), 
   Petr Sojka (Masaryk University, Brno, Czech Republic)
15:30--16:00 * Developing a Metadata Exchange Format 
  for Mathematical Literature (paper, presentation)
   David Ruddy (Cornell University Library, Ithaca, New York, USA)
16:00--16:30 * INSPIRE: Realizing the Dream of a Global Digital Library
   in High-Energy Physics (paper, presentation)
   Annette Holtkamp, Salvatore Mele, Tibor Simko, Tim Smith (CERN, Geneve, Switzerland)
  
16:30--17:00 * Coffee Break

DML Building Experience (Session Chair: Jiri Rakosnik) 

17:00--17:20 * PDF Enhancements Tools for a Digital Library (paper, presentation)
   Radim Hatlapatka, Petr Sojka (Masaryk University, Brno, Czech Republic)
17:20--17:40 * Metadata Editing and Validation for a Digital 
   Mathematics Library (paper, presentation)
   Miha Filej (University of Ljubljana, Ljubljana, Slovenia), 
   Michal R\r u\v zi\v cka, Martin \v S\'arfy, Petr Sojka 
   (Masaryk University, Brno, Czech Republic) 
17:40--18:00 * Implementing Dynamic Visualization as an Alternative
   Interface to a Digital Mathematics Library (paper, presentation)
   Zuzana Nev\v e\v rilov\'a (Masaryk University, Brno, Czech Republic) 
18:00--18:20 * Data Enhancements in a Digital Mathematical Library
   (paper, presentation)
   Michal R\r u\v zi\v cka, Petr Sojka (Masaryk University, Brno, Czech Republic) 

18:20--18:30 * Short Break

18:30--19:45 * DML Panel/round table discussion:
Towards a Digital Mathematics Library: hot issues

Panelists:
Thierry Bouche (EuDML/NUMDAM and CEDRAM, FR),
Jos\'e Borbinha (EuDML, PT),
Annette Holtkamp (INSPIRE, CERN/DESY, DE),
Patrick Ion (Mathematical Reviews, AMS, USA),
David Ruddy (Cornell University Library/Euclid project, USA),
Petr Sojka (DML-CZ, MU, CZ),
Masakazu Suzuki (Japanese digitization projects, JP)
...
Topics/questions:
1) How do you foresee our target/dream -- world wide DML? In which 
   time frame? What key technologies, standards, algorithms and 
   formats will be used?
2) What important milestones do you see on the way towards our dream?
3) What should be the next immediate step and who should do it?

---------------------------------------------

Thursday, July 8th, 2010

Digitization Reports (Session Chair: Thierry Bouche)

09:30--10:00 * bdim: the Italian Digital Mathematical Library (paper, presentation)
   Vittorio Coti Zelati (Universit\`a degli Studi di Napoli ``Federico II'', Napoli, Italy) 
10:00--10:30 * Designing a Semantic Ground Truth for Mathematical Formulae
   (paper, presentation)
   Alan Sexton, Volker Sorge (University of Birmingham, UK),
   Masakazu Suzuki (Kyushu University, Japan)

10:30--11:00 * Coffee Break

Tools and Techniques (Session Chair: Alan Sexton)

11:00--11:30 * Mathematical Communication and Representation
   in a Virtual Learning Environment: A Case Study (paper, presentation)
   C\'esar C\'orcoles, Antonia Huertas (Open University of Catalonia, Barcelona, Spain) 
11:30--12:00 * Producing MathML with Tralics (paper, presentation)
   Jos\'e Grimm (Institut National de Recherche en Informatique et en 
   Automatique, Sophia Antipolis, France) 
12:00--12:30 * Symbol Declarations in Mathematical Writing: A Corpus Study (paper)
   Magdalena Wolska (Universit\"at des Saarlandes, Saarbr\"ucken, Germany), 
   Mihai Grigore (Jacobs University, Bremen, Germany)

12:30 * Closing discussion

| | | | |
Comments/questions/inquiries: to be sent to: dml2010 at easychair dot org.