Do-Form: Submission Process and Formats

We run a two-stage submission process:

  • Stage 1: problem & tool (“nail & hammer”) descriptions
    to be reviewed and matched with each other (passed; see submissions)
  • Stage 2: regular extended abstracts
    normal conference-like peer review

Accepted submissions from both stages will be included in the symposium proceedings (see below).

In Stage 1 (by 10 December; passed) we solicit …

  • from domain experts: descriptions of canonical models and problems in their domain that might benefit from better verification and knowledge management facilities. Descriptions should focus on aspects of these models that domain users find particularly problematic, and suspect might be aided by formalisation tools
  • from computer scientists: descriptions of formalisation, verification and knowledge management tools, with an emphasis on how they could be applied in a concrete real-world setting, or tailored to such application domains.

Stage 1 submissions should have 2 to 4 pages and may be summaries of earlier publications on relevant problems and tools, focused to a target audience of computer scientists or domain experts, respectively.

The symposium chairs, assisted by the PC members, will review and initially publish commented versions of the Stage 1 submissions on the symposium homepage, to provide orientation for Stage 2. Should matching problems and tools be identified, we will notify the respective authors.

In Stage 2 (by 28 January; passed) we solicit regular submissions on any of the topics of interest. We prefer submissions that specifically address topics identified in Stage 1; for a tool description paper, this could, e.g., be done by motivating the tool with a Stage 1 problem, and sketching how the tool could, or will, be applied in this domain. Each submission will be refereed by three PC members on average. Submissions will be judged based on the PC's views of the likelihood of contributing to a better matching of hammers (formalisation and verification tools) to nails (domain problems).

At this stage we accept PDF submissions in any layout but count 1200 words as one page for fair comparison. We invite research and position papers, as well as tool and system descriptions, from 3 to 10 pages. Besides PDFs we invite the submission of formalised knowledge representations with human-readable annotations.

To submit a paper, please go to the Do-Form EasyChair page and follow the instructions there.

Final versions of accepted papers (by 4 March) should be prepared in LaTeX according to the AISB formatting guidelines. For the final version, non-PDF submissions should be accompanied by a PDF abstract of 2 to 4 pages. Electronic proceedings (with an ISBN) will be made available to the convention delegates on a memory stick, and on the AISB website.

Given a sufficient number of high-quality submissions, we will invite authors to submit revised and extended versions to a special issue of a relevant journal. (E.g., co-chair Manfred Kerber is on the editorial board of Mathematics in Computer Science.)

This page was last modified on 10 April 2013.