CICM-WS-WiP 2014 Preface CICM-WS-WiP 2014 Preface 29D198C1AAE9C677872C1ACE519197C6 GROBID - A machine learning software for extracting information from scholarly documents

This joint volume of proceedings gathers together papers from the workshops and Work in Progress section of CICM 2014, held July 7-11 in Coimbra, Portugal. CICM (Conferences on Intelligent Computer Mathematics) has been held annually since 2008. Papers from the four main tracks at CICM 2014 (Calculemus, Digital Mathematical Libraries, Mathematical Knowledge Management, and Systems & Projects) will be published in volume 8543 of Springer LNAI. CICM also gives the opportunity for researchers to present Work in Progress papers, of interest to the community but not yet ready for formal presentation. This joint volume gathers together these papers with those contributed to three of the workshops held at CICM 2014:
This is the third collection of CICM workshop and Work in Progress papers published with CEUR-WS, following vol. 1010 (CICM 2013) and vol. 921 (CICM 2012). The workshop papers were edited by their respective organisers and the Work In Progress papers by the General CICM PC Chair and the four CICM track PC Chairs. Please see the individual prefaces for more details.-The 9th Workshop on Mathematical User Interfaces (MathUI);-The 26th OpenMath Workshop (OpenMath);-The 2014 Workshop on Theorem Provers Components for Educational Soft-ware (ThEdu).
CEUR Workshop Proceedings (http://ceur-ws.org/) is a free open-access publication service and these joint proceedings form CEUR vol. 1186.
Acknowledgements

Thanks to all those who served on the program committee or reviewed the work in this volume, and to the organisers of CICM 2014. We acknowledge the publisher CEUR-WS, and the authors of the EasyChair software and ceur-make scripts which greatly aided the publication of these proceedings.

MatthewEngland Calculemus Track Chair and OpenMath editor TheduEditor PedroQuaresma ThEdu editor Joint volume Systems & Projects CICM Track Chair Petr Sojka: Digital Mathematical Libraries CICM Track Chair Josef Urban: Mathematical Knowledge Management CICM Track Chair Stephen AlanPSexton MWatt General CICM PC Chair 3rd July 2014 Matthew England University of Bath Bath, UK