From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2TGKNNe002921
	for <caml-list@sympa-roc.inria.fr>; Thu, 29 Mar 2012 18:20:23 +0200
Date: Thu, 29 Mar 2012 18:20:23 +0200
Message-Id: <201203291620.q2TGKNNe002921@walapai.inria.fr>
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: At0PAD+LdE/UySwXlGdsb2JhbAAqGqgBAZAbdiIBAQEBCQsJCRQEI4J4CjKBQYdzBymaLKtJgwSCGoEKBJZyk1g
X-IronPort-AV: E=Sophos;i="4.73,669,1325458800"; 
   d="scan'208";a="151830648"
Received: from hermes.jacobs-university.de ([212.201.44.23])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 29 Mar 2012 18:20:18 +0200
Received: from localhost (demetrius4.jacobs-university.de [212.201.44.49])
	by hermes.jacobs-university.de (Postfix) with ESMTP id 434EA20C3C
	for <caml-list@inria.fr>; Thu, 29 Mar 2012 18:20:18 +0200 (CEST)
X-Virus-Scanned: amavisd-new at jacobs-university.de
X-Amavis-Alert: BAD HEADER SECTION, Missing required header field: "Date"
Received: from hermes.jacobs-university.de ([212.201.44.23])
	by localhost (demetrius4.jacobs-university.de [212.201.44.32]) (amavisd-new, port 10024)
	with ESMTP id E2cEj-N3-psN for <caml-list@inria.fr>;
	Thu, 29 Mar 2012 18:20:18 +0200 (CEST)
Received: from kwarc.faculty.jacobs-university.de (kwarc.faculty.jacobs-university.de [212.201.49.165])
	by hermes.jacobs-university.de (Postfix) with SMTP id 041B120BFB
	for <caml-list@inria.fr>; Thu, 29 Mar 2012 18:20:17 +0200 (CEST)
From: m.kohlhase@jacobs-university.de
To: caml-list@inria.fr
X-Validation-by: m.kohlhase@jacobs-university.de
Subject: [Caml-list] CfP: Math Information Retrieval Worksohp 14. July 2012

[apologies for multiple copies]

             MIR 2012 Workshop (Mathematics Information Retrieval)
             July 14. 2011 
             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
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 half-day 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:
- Symposium:
   Paper Submission:        May 20. 2012
   Notification:                 May 28. 2012
   Final Versions:		June 15. 2012

- Happening:
   Dataset available:         now    
   System Registration:    May 20. 2012

Organizers:
Michael Kohlhase, Jacobs University (PC co-chair)
Petr Sojka, Brno University  (PC co-chair)

Math IR Symposium at MIR 2012 
====================
http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=symposium

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

-  requirements for mathematics information retrieval: use cases and typical queries
-  formula search algorithms
-  semantically enhancing mathematical corpora for IR
-  extracting semantic relations from corpora.
-   evaluation of MIR (methods and test corpora)

 
Math IR Happening at MIR 2012 
====================
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 test our
system on a common set of problems.  We expect the happening to transcend the
workshop proper.