[Caml-list] CICM 2015 - Call for Work-in-Progress Papers

Call for Work-in-Progress Papers

Conference on Intelligent Computer Mathematics
CICM 2015

13-17 July 2015
Washington DC, USA


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), and Coimbra (Portugal 2014).

This is a (short version of the) call for Work-in-Progress papers for
CICM 2015, which will be held in Washington, D.C., 13-17 July 2015.
We solicit for papers which describe work in progress, recent
developments, and other work of interest to our communities which does
not yet have the maturity for archival proceedings.

The full version of the CFP is available from the conference web page
at http://cicm-conference.org/2015/cicm.php

**********************************************************************
The principal tracks of the conference will be:
**********************************************************************

* Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: Jacques Carette
* DML (Digital Mathematical Libraries)
Chair: Volker Sorge
* MKM (Mathematical Knowledge Management)
Chair: Cezary Kaliszyk
* Systems and Data
Chair: Florian Rabe

Publicity chair is Serge Autexier. The local arrangements will be
coordinated by the Local Arrangements Chairs, Bruce R. Miller
(National Institute of Standards and Technology, USA) and Abdou
Youssef (The George Washington University, Washington, D.C.), and the
overall programme will be organized by the General Programme Chair,
Manfred Kerber (U. Birmingham, UK).

**********************************************************************
Important Dates
**********************************************************************


Work-in-progress and Doctoral Programme submissions:
Submission deadline:
Full Work-in-Progress submission* 4 May 2015
Notification of acceptance: 25 May 2015
Camera ready copies due: 1 June 2015
Conference: 13-17 July 2015

* or for the Doctoral Programme: Abstract+CV

More detailed information, e.g. on submission via EasyChair, can be
found on http://cicm-conference.org/2015/cicm.php


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs