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
- Important Dates

CICM Affiliated Workshops & Doctoral Programme

CICM will be accompanied by five affiliated workshops

User Interfaces for Theorem Provers (UITP 2012)
OpenMath (OM 2012)
Language and Mathematics Processing and Understanding (LaMaPun 2012)
Mathematics Information Retrieval (MIR 2012)
Computer Theorem Proving Components for Educational Software (THedu 2012)
Mathematical User-Interfaces (MathUI 2012)

In addition, a Doctoral Programme will be organized at CICM 2012.

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: April 04 2018 09:42:19 CEST