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

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

Dear types subscribes,

Attached below please find the call for papers for APLAS 2006.

The main change from the previous posting is:

  * Submission procedure has been divided into two phases:
      Abstract submission: June 2, 2006
      Paper submission: June 6, 2006

The submisssion page is now open. 

Naoki Kobayashi
APLAS 2006 Program Chair
Department of Computer and Mathematical Sciences
Graduate School of Information Sciences
Tohoku University
6-3-9 Aoba, Aramaki, Aoba-ku, Sendai-shi, Miyagi 980-8579, Japan
e-mail:koba at 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). Proceedings of the past symposiums
were published in Springer-Verlag's LNCS 2895, 3302, and 3780.

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

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