Work In Progress

Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not (yet) in a suitable form for submission as a full or system description paper. This includes work in progress and emerging trends. Papers may be on any CICM topic, including those from Calculemus, DML, MKM and Systems and Projects.

Accepted work-in-progress papers will be presented at the conference as short teaser talks and as posters. The work-in-progress proceedings are published digitally together with the workshop proceedings as volume 1186 of the CEUR Workshop Proceedings series (CEUR-WS.org) available here.