[TYPES/announce] CFP: APLAS 2006 (Fourth Asian Symposium on Programming Languages and Systems)

[koba@kb.ecei.tohoku.ac.jp]

                      CALL FOR PAPERS

               The Fourth ASIAN Symposium on
          Programming Languages and Systems
                    (APLAS 2006)
          Sydney, Australia, November 8-10, 2006
          http://www.kb.ecei.tohoku.ac.jp/aplas2006/

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.

The APLAS series is sponsored by the Asian Association for Foundation
of Software (AAFS), which has recently been founded by Asian
researchers in cooperation with many researchers from Europe and the
USA.  The past formal APLAS symposiums were successfully held in
Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China)
after three informal workshops held in Shanghai (2002, China), Daejeon
(2001, Korea) and Singapore (2000).

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 (koba at ecei.tohoku.ac.jp) prior to submission.


GENERAL CO-CHAIRS
 Manuel Chakravarty (University of New South Wales, Australia)
 Gabriele Keller    (University of New South Wales, Australia)   

PROGRAM CHAIR
 Naoki Kobayashi    (Tohoku University)

PROGRAM COMMITTEE
 Kung Chen          (National Chengchi University, Taiwan)
 Wei-Ngan Chin      (National University of Singapore, Singapore) 
 Patrick Cousot     (ENS, France) 
 Masahito Hasegawa  (Kyoto University, Japan) 
 Jifeng He          (United Nations University, Macau) 
 Haruo Hosoya       (University of Tokyo, Japan) 
 Bo Huang           (Intel China Software Center, China)
 Naoki Kobayashi (chair) (Tohoku University, Japan) 
 Oege de Moor       (Oxford University, UK)
 George Necula      (University of California at Berkeley, USA)
 Martin Odersky     (EPFL, Switzerland) 
 Tamiya Onodera     (IBM Research, Tokyo Research Laboratory, Japan)
 Yunheung Paek      (Seoul National University, Korea) 
 Sriram Rajamani    (Microsoft Research, USA) 
 Andrei Sabelfeld   (Chalmers University of Technology, Sweden) 
 Zhong Shao         (Yale University, USA) 
 Harald Sondergaard (University of Melbourne, Australia)
 Nobuko Yoshida     (Imperial College London, UK) 


SUBMISSIONS INFORMATION

Papers should be submitted electronically online via the conference
submission webpage. 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

Submission deadline: June 2, 2006
Author notification: August 5, 2006
Camera Ready: August 25, 2006
Conference: November 8-10, 2006