CICM 2012 - Conferences on Intelligent Computer Mathematics

CICM
Track A: AISC
Track B: Calculemus
Track C: DML
Track D: MKM
Track E: Systems & Projects
Workshops & Doctoral Programme
- MathUI 2012
- MIR 2012
- OpenMath 2012
- UITP 2012
- THedu 2012
- Doctoral Programme

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

Privacy policy and legal information

Last modified: February 27 2026 23:47:55 CET