Workshop

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.

    Submission is processed via the Easychair system.

    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.

    Important Dates