APLAS aims at stimulating programming language research by providing a
forum for the presentation of recent results and the exchange of ideas
and experience in topics concerned with programming languages and
systems.  APLAS is based in Asia, but is an international forum that
serves the worldwide programming languages community.

TOPICS:

The symposium is devoted to both foundational and practical issues in
programming languages and systems. Papers are solicited on, but not
limited, to the following topics:

    * semantics, logics, foundational theory
    * type systems, language design
    * program analysis, optimization, transformation
    * software security, safety, verification
    * compiler systems, interpreters, abstract machines
    * domain-specific languages and systems
    * programming tools and environments

Original results that bear on these and related topics are
solicited. Papers investigating novel uses and applications of
language systems are especially encouraged. Authors concerned about
the appropriateness of a topic are welcome to consult with the program
chair  prior to submission.

SUBMISSIONS INFORMATION Papers should be submitted electronically online
via the conference submission web page at URL
http://www.easychair.org/APLAS2007/. Acceptable formats are PostScript
or PDF, viewable by Ghostview or Acrobat Reader. Submissions should not
exceed 16 pages in LNCS format, including bibliography and figures.
Submitted papers will be judged on the basis of significance, relevance,
correctness, originality, and clarity. They should clearly identify
what has been accomplished and why it is significant. Submitted papers
must be unpublished and not submitted for publication elsewhere.
The proceedings of the symposium is planned to be published as a volume
in Springer-Verlag’s Lecture Notes in Computer Science series.

IMPORTANT DATES:

  Paper Submission Deadline:   11:00 AM (in Samoan Time), June 15, 2007
  Author Notification:         August 17, 2007
  Camera Ready:                September 7, 2007
  Conference:                  November 29-December 1, 2007