[isabelle] Final CFP for a Special Issue of MCS on Intelligent ComputerMathematics

[This is a shortened CFP, the full one is available at

                    Call for Papers for a Special Issue of
                        Mathematics in Computer Science
                      on Intelligent Computer Mathematics

Guest Editor: Manfred Kerber

Following the very successful Eighth International Conference on
Intelligent Computer Mathematics in Washington, D.C., in July 2015, we
invite submissions to a special issue of Mathematics in Computer
Science. We solicit for any high-quality original research paper that
substantially extends ideas and topics presented at CICM2015 or is related
to corresponding topics. Potential contributors may contact the guest
editor to discuss the suitability of topics and papers.

Typical relevant topics are related to the integration of symbolic
computation and mechanized reasoning, mathematical knowledge management,
and digital mathematical libraries.

Typically a description of a project, a system, or a data collection would
not be substantial enough for inclusion in the special issue (unless very
well-established). However, we explicitly solicit for insightful surveys
with prospects, visions, and open problems and directions for future
research and development. It is also encouraged that such surveys are
written jointly by authors who have worked on different projects, systems,
or data collections.

Submission Guidelines

Submission is via EasyChair,
https://easychair.org/conferences/?conf=mcscicm2015. If accepted LaTeX
sources must be provided. While there is no strict page limit, papers would
typically be 20-30 pages long. If a contribution is an extension of a
previously published paper, e.g., at CICM 2015, then the extension must be
substantial. All submitted papers will be refereed according to the usual
refereeing process.

Important Dates

Submission deadline:                  18 December 2015
Notification of acceptance/rejection: 28 February 2016
Submission of revised versions:       31 March 2016
Delivery of camera-ready copies:      30 April 2016
Publication of special issue:         August/September 2016

[There is some flexibility with the deadline. You can contact the guest
 editor about that at M.Kerber at cs.bham.ac.uk]

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.