Conferences on Intelligent Computer Mathematics - Birmingham 2008
Programming Languages for
Mechanized Mathematics Systems


Birmingham, UK, 29 July 2008


Submission works through EasyChair. Two kinds of papers will be considered:

  • Full research papers may be up to 12 pages long. Authors of accepted papers are expected to present their work on the workshop in a regular talk.
  • Position papers may be up to 4 pages long. The workshop presentation of accepted position papers consists of two parts: a stimulating statement of certain issues or challenges by the author, followed by a discussion in the plenum.

Papers should use the usual ENTCS style (11 point version), and will be reviewed by the program committee. Informal workshop proceedings will be circulated as a technical report.

Moreover there will be post-workshop proceedings of improved research papers, or position papers that have been completed into full papers, to appear in a special issue of the Journal of Automated Reasoning. There will be a separate submission and review phase for this, where papers from both PLMMS 2007 and 2008 will be considered.