[apologies for multiple copies]

     MIR 2012 Workshop (Mathematics Information Retrieval)
     July 8th, 2012 
     at CICM 2012, Bremen Germany
     http://cicm2012.cicm-conference.org/cicm.php?event=mir

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 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.

Important dates (note the new dates!):
================
- Symposium:
   Abstract Submission:     June 25th, 2012
   Paper Submission:        June 30th, 2012
   Notification:            by one week after paper submission
   Final Versions:          July 3rd, 2012
   Workshop with electronic preproceedings: July 8th, 2012
   Yellow Postproceedings are planned after the workshop.
 
- Happening:
   Dataset available: http://arxmliv.kwarc.info/mir12/
   MIR System Registration: June 30th, 2012

Submissions in LNCS format (llncs.cls from Manuscript guidelines
at www.springer.com/authors) should be sent via Easychair at: 
https://www.easychair.org/account/signin.cgi?conf=mir2012


Programme Committee (to be completed):
=====================================
Michael Kohlhase, Jacobs University (PC co-chair)
Petr Sojka, Masaryk University  (PC co-chair)
Akiko Aizawa, The University of Tokyo
Iadh Ounis, University of Glasgow
Leo Galamboš, Charles University, Prague

MIR Happening Judges panel (to be completed and/or confirmed)
Patrick Ion, Mathematical Reviews 
James Davenport, University of Bath

Invited (videoconference) talk: 
Michael Trott (Wolfram Research): Mathematical Search

Math IR Symposium at MIR 2012 (July 8th, morning) 
=============================
http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=symposium

The Math IR Symposium is a traditional-style half-day workshop
with scientific contributions about mathematics information
retrieval. Topics include but not limited to:

- MIR systems design and descriptions
- requirements for mathematics information retrieval: 
  use cases and typical queries
- formula normalization, similarity, indexing
  and search algorithms
- mathematics retrieval corpora preparation and tagging
- semantically enhancing mathematical corpora 
  for IR (from math OCR or presentation MathML in DML)
- extracting semantic relations from corpora
- Evaluation of MIR (methods and test corpora)
Symposium contributions do not have to be complemented by 
MIR system registration for Happening.

 
Math IR Happening at MIR 2012 (July 8th, afternoon) 
=============================
http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=happening

A friendly competition for the systems presented at the workshop.
Since math information retrieval is still quite young and developing,
we will not make this an official competition, but a happening, 
where we get together and try our systems on a common set of 
problems. We expect the happening to transcend the workshop proper. 

MIR is part of CICM multiconference and is followed by Digital
Mathematics Library track of CICM on July 9th:
http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=dml