Wednesday 

9:00 10:00  MathUI WorkshopChair: Helena MihaljevicBrandt, Room 8W 2.1
MathUI
 OpenMath WorkshopChair: Christoph Lange, Room 8W 2.27
OpenMath


10:00 10:30  Coffee 
10:30 12:30  MathUI WorkshopChair: Paul Libbrecht, Room 8W 2.1
 OpenMath WorkshopChair: Michael Kohlhase, Room 8W 2.27
OpenMath


12:30 14:00  Lunch 
14:00 15:30  MathUI WorkshopChair: Andrea Kohlhase, Room 8W 2.1
 Doctoral ProgrammeChair: Manfred Kerber, Room 8W 2.27 David Wilson. Advances in Cylindrical Algebraic Decomposition (14:0014:30)
 MinhQuoc NGHIEM. Semantic enrichment for mathematical expressions and its application to math search problem (14:3015:00)
 Michal Růžička. Maths Information Retrieval for Digital Libraries (15:0015:30)
Doctoral Programme
 Chair: Pedro Quaresma, Room 8W 2.28
ThEdu

15:30 16:00  Coffee 
16:00 18:00  MathUI WorkshopChair: Christoph Lange, Room 8W 2.1
Elevator pitches and demo session.
 Doctoral ProgrammeChair: Petr Sojka, Room 8W 2.27 Ieuan Evans. Machine Learning Techniques Applied to Mathematical Formulae Recognition (16:0016:30)
 Behrang S. Saroui. Offline Segmentation and Recognition of Handwritten Mathematical Notes on Whiteboards (16:3017:00)
 Rui Hu. PenBased Collaboration Tools for Mathematics (17:0017:30)
 Mihnea Iancu. Towards Flexiformal Mathematics (17:3018:00)
Doctoral Programme



  Chair: Petr Sojka, Room 8W 2.1 Thierry Bouche (EuDML), Patrick Ion (MR), Wolfram Sperber (ZBMath). DML Panel discussion: Fifty Shades of *DML (18:0019:00)
Abstract:
There are continuation efforts ongoing with the dream of WDML in mind:
EuDML has finished its initial phase, so as preparatory project
granted by Sloan foundation, and there are other DML
projects maturing (RusDML, Euclid, CEDRAM, etc.)
Views on who and how to proceed differ. Some decisions were discussed
at DML panel last year. It is time now to stop for a while,
and ask for feedback from the community.
aa) Have running projects as EuDML, Euclid or preparatory WDML (Sloan)
met community expectations?
ab) What are pros and cons?
ac) Which services are good and which are lacking?
ba) How DMLs relate to the established services as MR and ZMath?
bb) Do they complement their service?
bc) What are the prospects of their future interactions?
c) What is the current view of WDML services and how should sustainability
and curation be secured by the community, if any?
 DML. Business meeting (19:0019:20)
