List of Events
Work in progress
Workshop Mathematical User Interfaces (MathUI)
Workshop Formal Mathematics for Mathematicians (FM4M)
Workshop on computer Theorem proving components for Educational software (ThEdu)
9th Conference on Intelligent Computer Mathematics
July 25-29, 2016
- 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