- From: Serge Autexier <serge.autexier@dfki.de>
- Date: Sun, 8 May 2016 11:19:15 +0200 (CEST)
- To: www-rdf-rules@w3.org
- Cc: serge.autexier@dfki.de
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
http://www.cicm-conference.org/2016
----------------------------------------------------------------------
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
*Submission*
- Work-in-Progress submissions are via EasyChair at
https://easychair.org/conferences/?conf=cicm2016 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
(http://www.cs.man.ac.uk/~sudam/)
More details on the conference are available from
http://www.cicm-conference.org/2016/cicm.php
Received on Sunday, 8 May 2016 09:22:24 UTC