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.
