=Paper=
{{Paper
|id=Vol-1186/PrefaceWIP
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1186/PrefaceWIP.pdf
|volume=Vol-1186
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1186/PrefaceWIP.pdf</pdf>
<pre>
CICM 2014 Work in Progress Preface

The Conferences on Intelligent Computer Mathematics have been held annually
since 2008 at various locations in Europe and North America. The conferences
are made up of tracks on aspects of handling mathematical knowledge embodied
in documents, proofs, algorithms and software systems. The 2014 meeting will
be held July 7-11 in Coimbra, Portugal.
    For several years now, CICM has had a track devoted to works in progress.
This informal venue provides a forum to present original work that is not yet in
a suitable form for presentation as a full paper or system description. Authors
have found this useful to communicate that they are working on particular topics,
and allows early feedback from the research community. For CICM 2014 we have
continued this tradition.
    In response to a call for participation, seven submissions were received, cover-
ing a broad span of CICM topics. These were reviewed by a committee consisting
of the General PC Chair and all the track PC Chairs. Upon deliberation, it was
decided that, bearing in mind the informal intent of the track, the quality of the
submissions supported acceptance of all seven. These are presented here in these
proceedings.


June 2014                                                       Stephen M. Watt
                                                              James H. Davenport
                                                                  Alan P. Sexton
                                                                       Petr Sojka
                                                                     Josef Urban




Program Committee

Stephen M. Watt: General CICM PC Chair
James H. Davenport: Calculemus Track Chair
Alan P. Sexton: Systems & Projects Track Chair
Petr Sojka: Digital Mathematical Libraries Track Chair
Josef Urban: Mathematical Knowledge Management Track Chair

</pre>