CICM2012 - DML Track

Tomorrow in the morning, DML workshop at the Lecture Hall, Research III, Jacobs University, Bremen, Germany.

Agended talks:

  • Michael Kohlhase and Petr Sojka. MIR wrap-up and overview (9:05-9:20)
  • Radim Hatlapatka. JBIG2 Supported by OCR (9:20-9:40)
  • David Formánek, Martin Líška, Michal Růžička and Petr Sojka. Normalization of Digital Mathematics Library Content (9:40-10:00)
  • Kevin Kofler and Arnold Neumaier. DynGenPar - A Dynamic Generalized Parser for Common Mathematical Language (10:30-11:00)
  • Vadim Mazalov and Stephen Watt (presented by Rui Hu). Writing on Clouds (11:00-11:30)
  • Jiří Rákosník (DML-CZ, EuDML), Patrick Ion (Mathematical Reviews), Alan Sexton (University of Birmingham), Wolfram Sperber (Zentralblatt Math), possibly others (to be confirmed). Towards World DML: Are We on the Right Track? (11:30-12:30)

Find more information at CICM2012 website.