CICM 2016, Call for Work-In-Progress Papers & Submissions to the Doctoral Programme, 20. May

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

CICM 2016, Call for Work-In-Progress Papers & Submissions to the Doctoral Programme, 20. May

Serge Autexier
                  Call for Work-In-Progress Papers &
                 Submissions to the Doctoral Programme
         9th Conference on Intelligent Computer Mathematics
                            - CICM 2016 -
                           July 25-29, 2016
                   University of Bialystok, Poland

NEWS: Invited Speakers at CICM 2016
- John Harrison, Intel, USA
- Claudio Sacerdoti-Coen, University of Bologna, Italy
- Nicolas M. ThiƩry, LRIm University Paris-Sud, France
Digital and  computational solutions are becoming  the prevalent means
for the generation, communication, processing, storage and curation of
mathematical  information.  Separate  communities  have  developed  to
investigate  and build  computer based  systems for  computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration  can   lead  to   synergies  offering   significant  added
value.  The  Conference  on Intelligent  Computer  Mathematics  (CICM)
offers a  venue for discussing  and developing solutions to  the great
challenges posed by the integration of these diverse areas.

CICM has been held annually as a joint meeting since 2008, co-locating
related   conferences  and   workshops  to   advance  work   in  these
subjects. Previous  meetings have been  held in Birmingham  (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany  2012), Bath (UK  2013), Coimbra (Portugal  2014), and
Washington DC (USA 2015).

This  is a  call for  papers  for CICM  2016,  which will  be held  in
Bialystok, Poland, July 25-29, 2016.

The principal tracks of the conference will be:

* Track: Calculemus (chair: Leonardo de Moura)
* Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa)
* Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller)
* Track: Systems & Data (chair: Moa Johansson)
* Track: Doctoral Programme (chair: Martin Suda)

Like  in previous  years,  work-in-porgress can  be  presented at  the
conference.  Submission of work-in-progress  is possible until 20. May
2016. Details of the submission process are given below.

CICM is  also an excellent  opportunity for graduate students  to meet
established researchers from the  areas of computer algebra, automated
deduction, and mathematical publishing.

The Doctoral Programme provides a  dedicated forum for PhD students to
present  and discuss  their ideas,  ongoing or  planned research,  and
achieved  results   in  an  open   atmosphere.  It  will   consist  of
presentations  by  the  PhD  students to  get  constructive  feedback,
advice, and suggestions from the research advisory board, researchers,
and  other PhD  students.  Each PhD  student will  be  assigned to  an
experienced researcher from  the research advisory board  who will act
as a mentor and who will provide detailed feedback and advice on their
intended and ongoing research.

Submission to the doctoral programs are possible until 20. May, details
of the submission process are given below.

*Important Dates*

 Work-in-progress and Doctoral Programme
  - Submission deadline (Doctoral: Abstract+CV): 20. May 2016
  - Notification of acceptance:      6. June 2016
  - Camera ready copies due:       29. June 2016

  - Work-in-Progress submissions are via EasyChair at with the keyword
    Track: Work in Progress (and possibly the intended topical track)
  - Doctoral Program submission by e-mail to the DP chair Martin Suda
More details on the conference are available from