The Coq mailing list

[serge.autexier AT dfki.de (Serge Autexier)]

[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)