CFP: APLAS03 - 1st Asian Symp. on Prog. Lang. and Systems

[Manuel M T Chakravarty]

  [My apologies if this eventually leads to a double
  posting, but Atsushi Ohori's original post didn't get
  through as he does not subscribe to this list.]


                   Call for Papers

            The First Asian Symposium on
     Programming Languages and Systems (APLAS03)
         URL:  http://www.jaist.ac.jp/aplas/
  
        Beijing, China.  October 27-29, 2003
        (Submission deadline: May 27, 2003)

Sponsored by the Asian Association for Foundations of Software (AAFS)
and Beihang University (Beijing University of Aeronautics and Astronautics).

DESCRIPTION:
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 intends to be 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. APLAS has been discussed and prepared through informal workshops
held in Singapore (2000), Daejeon (2001), and Shanghai (2002). 
APLAS03 will be the first formal symposium in the series.

TOPICS:
The symposium is devoted to foundational issues in programming
languages and systems, covering the following areas:
 * semantics and theoretical foundations
 * type systems and language design
 * compilers and implementation
 * program analysis and security
 * program transformation and calculation
 * concurrency

GENERAL CHAIR:
Wei Li
National Laboratory of Software Development Environment
Beijing University of Aeronautics and Astronautics
Beijing, 100083, China
E-mail: liwei@nlsde.buaa.edu.cn

PROGRAM CHAIR:
Atsushi Ohori (http://www.jaist.ac.jp/~ohori)
School of Information Science
Japan Advanced Institute of Science and Technology
Tatsunokuchi, Ishikawa, 923-1292 JAPAN
E-mail: ohori@jaist.ac.jp
Tel: +81 761 51 1275, Fax: +81 761 51 1149

PROGRAM COMMITTEE:
* Manuel Chakravarty (University of New South Wales, Australia)
* Wei Ngan Chin (National University of Singapore, Singapore)
* Tyng-Ruey Chuang (Academia Sinica, Taiwan)
* Yuxi Fu (Shanghai Jiaotong University, China)
* Masahito Hasegawa (Kyoto University, Japan)
* Kohei Honda (Queen Mary College, UK)
* Zhenjiang Hu (University of Tokyo, Japan)
* Peter Lee (Carnegie Mellon University, USA)
* Shilong Ma (Beijing University of Aeronautics and Astronautics, China)
* Martin Odersky (Ecole Polytechnique de Lausanne, Switzerland)
* Atsushi Ohori (JAIST, Japan), Chair
* Don Sannella (University of Edinburgh, UK)
* Zhong Shao (Yale University, USA)
* Kwangkeun Yi (KAIST, Korea)
* Taiichi Yuasa (Kyoto University, Japan)

IMPORTANT DATES:
Submission deadline:          May 27, 2003
Notification of acceptance:   July 17, 2003
Final paper due:              August 17, 2003
Symposium:                    October 27-29, 2003

PROCEEDINGS AND SUBMISSION PROCEDURE:
The proceedings will be published in the Springer-Verlag Lecture Notes
in Computer Science series. Final papers will be no more than *15* 
pages long in the format specified by Springer-Verlag at the URL:
http://www.springer.de/comp/lncs/authors.html

Prospective authors are invited to submit a 100-200 word abstract and
a full paper in English presenting original research. Submitted papers
must be unpublished and not submitted for publication elsewhere.

Submissions will be carried out electronically via the Web via a link
found at the symposium web page http://www.jaist.ac.jp/aplas/
Papers must be submitted in either PDF format, or as PostScript
documents that are interpretable by Ghostscript.
Those who have difficulty in web-based submission should contact
the program chair before the deadline.

It is recommended that submissions adhere to the format and length of
the proceedings described above. Submissions that are clearly too 
long may be rejected immediately.