LfSA 2010 - Logics for System Analysis

Edinburgh, 15. July 2010

Submission Categories

Regular papers (up to 15 pages), which should present previously unpublished work (completed or in progress), including
descriptions of research, tools, and applications.

Short papers (up to 5 pages), which describe work in progress or
aim at initiating discussions.

Presentation-only papers, i.e., papers already submitted or
presented at a conference or another workshop; such papers will
not be included in the LfSA proceedings but will be presented
during the workshop.

In addition to informal and electronic workshop proceedings, we consider the option of a special issue in a journal after the workshop.

Format for Submission

The format for paper submission should be an article with 10pt font.
The use of LaTeX is highly encouraged to simplify formatting of final versions, but LaTeX is not required for the initial submission.
We do not require a particular LaTeX document class for submission.
Possible choices include document class "article" or Springer llncs format format.