=Paper=
{{Paper
|id=Vol-1785/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1785/preface.pdf
|volume=Vol-1785
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1785/preface.pdf</pdf>
<pre>
                                 Preface
    This joint volume of proceedings gathers together papers from the work-
shops and Work in Progress section of the 9th Conference on Intelligent Com-
puter Mathematics (CICM), held July 25-29 2016 in Bialystok, Poland. CICM
has been held annually since 2008. Papers from the four main tracks at CICM
2016 (CALCULEMUS, Digital Mathematical Libraries, Mathematical Knowl-
edge Management, Surveys & Projects, and Systems & Data) are published in
volume 9791 of Springer Lecture Notes on Artificial Intelligence (LNAI).
    CICM also gives the opportunity for researchers to present Work in Progress
(WiP) papers, of interest to the community but not yet ready for formal pre-
sentation. This year, WiP papers have been presented in the MKM and DML
tracks.
    Finally, CICM traditionally organizes a “Doctoral Program”, where doctoral
students can present their achievements and future plans to the community and
receive mentoring by experienced members of the CICM community.
    This joint volume collects these together with those contributed to three of
the workshops held at CICM 2014:
 – The 11th Workshop on Mathematical User Interfaces (MathUI),
 – The 2014 Workshop on Theorem Provers Components for Educational Soft-
   ware (ThEdu),
 – The 2016 Workshop on Formal Mathematics for Mathematicians (FM4M),
   The workshop papers were edited by their respective organisers and the Work
In Progress papers by the General CICM PC Chair and the CICM track Chairs.
Please see the individual prefaces for more details.
Editors:
Michael Kohlhase Joint volume editor and CICM program chair
Andrea Kohlhase MathUI editor
Paul Libbrecht MathUI editor
Bruce Miller MKM WiP editor
Frank Tompa DML WiP editor
Adam Naumowicz FM4M editor
Martin Suda Doctoral Program editor
Acknowledgements: Thanks to all those who served on the program commit-
tee or reviewed the work in this volume, and to the organisers of CICM 2016.
We acknowledge the publisher CEUR-WS, and the authors of the EasyChair
software which greatly aided the publication of these proceedings.

                                                               20th July 2016
                                                             Michael Kohlhase
                                                     Jacobs University Bremen

</pre>