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.