Workshop

LfSA 2012 - Logics for System Analysis

Berkeley, July 7, 2012

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.

    • All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports

    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 LNCS format or Easychair format or any similar format.

    Important Dates