CICM 2016 - 9th Conference on Intelligent Computer Mathematics

CICM
Calculemus
DML
MKM
Systems & Data
Projects & Surveys
Doctoral Program
ThEdu
Tetrapod
Proof Engineering
OpenMath
MMT
MathUI
FM4M

You must enable JavaScript to use this site

- General Information
- Research Advisory Board
- Programme Committee
- Call for Papers
- Important Dates
- Submission
- Programme Overview
- Accepted Papers
- Venue & Local Info
- Travel Information
- Hotel Information
- Registration
- Poster
- Photos
To be completed
News
- Springer Proceedings (LNAI 9791) online.
- workshop, doctoral programme, and WiPproceedings.
- Travel and venue infos
- Accepted papers online
- Schedule online
- 2 tutorials at CICM 2016
- 5 workshops at CICM 2016
- CICM 2016 site online

Privacy policy and legal information

Last modified: April 04 2018 09:42:26 CEST