You must enable JavaScript to use this site

• • General Information
  • Call for Papers
  • Important Dates
  • Submission
  • Programme Overview
  • Day schedule
  • All Talks and Events
  • Venue
  • Registration and Accommodation
  • Travel Information
  • Student Grants

• Sunday 9:00-10:00 Chair: Akiko Aizawa, Lecture Hall, Research III Petr Sojka. MIR.fi.muni.cz: Past, Present and Future (9:00-9:25) (Slides) Michael Kohlhase and Mihnea Iancu. Searching Induced Formulae; Get Out More Than You Put In! (9:25-9:50) (Slides) Martin Líška, Petr Sojka and Michal Růžička. Latest Development of MIaS, Math Indexer and Searcher (9:50-10:10) (Slides) Moritz Schubotz. Using LaTeXML and MathWeb Search to Make Enable Mathematical Search in MediaWiki (10:10-10:30) MIR systems introductions 10:00-10:30 Coffee 10:30-12:30 Chair: Michael Kohlhase, Lecture Hall, Research III MIR Happening (formulae search, document search and open search categories) 12:30-14:00 Lunch 14:00-15:30 Chair: Petr Sojka, Lecture Hall, Research III (Invited Talk) Michael Trott. Mathematical Search (14:00-15:30) MIR Invited videolecture 15:30-16:00 Coffee 16:00-18:00 Chair: Bruce Miller, Lecture Hall, Research III Magdalena Wolska. Building a POS-annotated Corpus of Scientific Papers in Mathematics (16:00-16:20) Giovanni Yoko Kristianto, Minh-Quoc Nghiem, Nobuo Inui, Goran Topic and Akiko Aizawa. Annotating Mathematical Expression Definitions for Automatic Detection (16:20-16:40) Mohamed Ali Ibrahim Alkalai and Volker Sorge. Issues in Mathematical Table Recognition (16:40-17:00) Wolfram Siegmund Sperber. A Short Report about Information services of Zentralblatt Math (17:00-17:12) Tsuyoshi Murata and Kenichi Otagiri. Searching and Ranking Mathematical Formulas (17:12-17:32) Akiko Aizawa, Michael Kohlhase and Iadh Ounis. An Overview of NTCIR-10 Math Pilot Task (17:32-17:50) All. General MIR Discussion (17:50-18:00) MIR Workshop papers II and other announcements, discussions, demos, position papers

• News

  • CICM 2012 is over. CICM 2013 will be in Bath, UK, organized by James Davenport
  • Special Address by Stephen Wolfram
  • Venue Information
  • Travel Information
  • Registration is open
  • Accepted papers online
  • Schedule reorganized

  
  

  
  

Last modified: September 29 2026 19:12:48 CEST