MIR 2012 Workshop -- Mathematics Information Retrieval, July 8th, 2012 c/o CICM 2012, Bremen, Germany

The MIR Workshop brings together researchers working on information retrieval for digital mathematics libraries and mathematical document collections for discussions and friendly systems competition.

Workshop format

The MIR Workshop will consist of a traditional-style scientific program with presentations of submitted and invited papers in the Math IR Symposium together with the Math IR happening, where workshop participants competitively or jointly solve a set of Math IR challenges and submit their solutions to a panel of mathematician judges. For textual overview of MIR event have a look at MIR Call for papers and participation.

Dates (really final)

Programme Committee

• Michael Kohlhase, Jacobs University (PC co-chair)
• Petr Sojka, Masaryk University, Brno (PC co-chair)
• Akiko Aizawa, The University of Tokyo
• Iadh Ounis, University of Glasgow
• Leo Galamboš, Czech Technical University, Prague

Mathematician judges panel (to be confirmed)

• James Davenport, University of Bath
• Patrick Ion, Mathematical Reviews
• Daniel Meyer, Jacobs University

Invited videolecture talk

• Michael Trott (Wolfram Research): Mathematical Search