[Hol-info] CICM 2015: Final Call for Participation, Deadline July 6th, 2015

[<ser...@df...>]

                     Final Call for Participation

            Conference on Intelligent Computer Mathematics
                              CICM 2015

                           13-17 July 2015
                          Washington DC, USA

                 Registration Deadline July 6th, 2015


The programme for this year's CICM in Washington can be found as
http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme

The accepted papers as
http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks

In addition we solicit for posters which will not be peer reviewed, but we
will just do a screen review for relevance to the conference. A poster
presentation will consist of a 5 minute teaser talk and the presentation of
the poster on Tuesday morning (together with the other presentations in the
Systems/Data/Projects track).

You can submit a brief abstract on a poster by 22 June 2015 via EasyChair:
https://www.easychair.org/conferences/?conf=cicm2015
You will be informed about acceptance shortly after your submission.

Registration to the conference will open shortly.

For details on the conference, registration, accommodation, etc. see
http://www.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/
   "Towards a Global Digital Mathematics Library"
*  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 are
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 is organized by the General Programme Chair,
Manfred Kerber (U. Birmingham, UK).

As in previous years, we have co-located workshops:

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

Furthermore we have a doctoral programme to mentor doctoral
students giving presentations and a tutorial on the generic proof
assistant Isabelle.
--------------------------------------------------------------------------------