[TYPES/announce] MKM, Calculemus and DML (CICM 2015): 2nd CfP, Invited Speakers & Workshops

[Serge Autexier]

                             2nd Call for 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 papers for CICM 2015, which
will be held in Washington, D.C., 13-17 July 2015.

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

**********************************************************************
Invited Speakers:
**********************************************************************

*  Leonardo de Moura, https://leodemoura.github.io/
   "Formalizing mathematics using the Lean Theorem Prover"
   (http://leanprover.github.io/)
*  Tobias Nipkow, http://www21.in.tum.de/~nipkow/
   "Analyzing the Archive of Formal Proofs"
*  Jim Pitman, http://www.stat.berkeley.edu/~pitman/
*  Richard Zanibbi, http://www.cs.rit.edu/~rlaz/
   "Math Search for the Masses: Multimodal Search 
    Interfaces and Appearance-Based Retrieval"

**********************************************************************
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
* Doctoral Programme
  Chair: Umair Siddique

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

As in previous years, we will have co-located workshops. Currently
planned are:

*  Formal Mathematics for Mathematicians
*  Theorem proving components for Educational software (ThEdu'15)
*  MathUI

Furthermore we will have a doctoral programme to mentor doctoral
students giving presentations and a tutorial on the generic proof
assistant Isabelle. We also solicit for project descriptions, surveys,
and work-in-progress papers.

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

Conference submissions:
Abstract submission deadline:      16 February 2015
Submission deadline:               23 February 2015
Reviews sent to authors:            6 April    2015
Rebuttals due:                      9 April    2015
Notification of acceptance:        13 April    2015
Camera ready copies due:           27 April    2015
Conference:                     13-17 July     2015


Work-in-progress and Doctoral Programme submissions:
Submission deadline:
(Doctoral: Abstract+CV)             4 May      2015
Notification of acceptance:        25 May      2015
Camera ready copies due:            1 June     2015


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