[Apologies for multiple copies]
Call for Participation
10th Conference on Intelligent Computer Mathematics - CICM 2017 - 17-21 July 2017 University of Edinburgh, Scotland
http://www.cicm-conference.org/2017
*** Accepted Papers ***
The programme for CICM 2017, which will be held in Edinburgh is now available: http://www.cicm-conference.org/2017/cicm.php?event=&menu=talks
*** Work in Progress Submissions ***
We invite work-in-progress submissions, with the aim of providing a forum for the presentation of original work that is not yet suitable for submission as a full paper in a research track. This includes emerging trends work. Although length is not limited, we recommend 5 pages.
Submit your paper by 23 June 2017 in the "Work in Progress” track via Easychair: https://easychair.org/conferences/?conf=cicm2017
Please add a keyword for the intended topical track MKM, DML, Calculemus or Systems and Projects. Author notification will be sent by 27 June.
*** Posters Submissions ***
In addition, we solicit for posters that will not be peer reviewed, but will be screened for relevance to the conference.
You can submit an abstract for a poster by 23 June 2017 via EasyChair at: https://easychair.org/conferences/?conf=cicm2017. Author notification will be sent by 27 June.
*** Invited Speakers ***
- Alan Bundy (University of Edinburgh) - Przemysław Chojecki (Polish Academy of Sciences) - Grant Olney Passmore (Aesthetic Integration)
**** Conference Tracks ***
* Calculemus (Chair: Matthew England, University of Coventry) * Digital Mathematical Libraries (DML) (Chair: Olaf Teschke, Humboldt University of Berlin) * Mathematical Knowledge Management (MKM) (Chair: Florian Rabe, Jacobs University Bremen) * Systems & Projects (Chair: Osman Hasan, NUST Pakistan) * Doctoral Programme (Chair: Adnan Rashid, NUST Pakistan)
*** Co-located Workshops ***
* 12th Workshop on Mathematical User Interface (MathUI 2017) http://www.cicm-conference.org/2017/cicm.php?event=mathui
* 28th OpenMath Workshop http://www.cicm-conference.org/2017/cicm.php?event=openmath
*** Registration ***
Early Registration: Until 30 June 2017
For more details, see: http://www.cicm-conference.org/2017/cicm.php?event=&menu=registration
*** Local Information ***
Information about the venue, accommodation, travel, visa requirements, etc. can be found at: http://dream.inf.ed.ac.uk/events/cicm2017
*** CICM 2017 Organisers ***
* General Program Chair: Herman Geuvers (Radboud University) * Workshops Chair: Petros Papapanagiotou (University of Edinburgh) * Publicity Chair: Serge Autexier (DFKI Bremen) * Local arrangements: Jacques Fleuriot and Suzanne Perry (University of Edinburgh)