APLAS'03 : Asian Symposium on Programming Languages and Systems

                      Call for Papers

                 The First Asian Symposium on
          Programming Languages and Systems (APLAS'03)

                  November 27-29, 2003
Beijing, China. (or Kanazawa, Japan or Nanjing, China. See below.)

While we plan to hold APLAS'03 in Beijing, there is a possibility of
relocation due to SARS. If Beijing will be among the WHO's list of
local transmission areas of SARS as of September 1, then the symposium
will be moved to a city that is free of SARS risk and has airline
connections from major cities that do not go through SARS affected
cities. Our current candidate alternative cities are: Kanazawa, JAPAN
and Nanjing, China. Safety is our priority in choosing the

To accommodate the above situation, the symposium will be postponed
by one month. The new important dates are:
  Submission deadline: June 20, 2003
  Notification of acceptance:  August 13, 2003
  Final paper due: September 13, 2003
  Symposium: November 27-29, 2003

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.

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

* Thomas A. Henzinger (University of California at Berkeley, USA)
* Simon Peyton Jones (Microsoft Research, UK)
* Wen-tsun Wu (Academia Sinica, China)

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

Atsushi 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

* 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)

  Submission deadline: June 20, 2003
  Notification of acceptance:  August 13, 2003
  Final paper due: September 13, 2003
  Symposium: November 27-29, 2003

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.

Prospective authors are invited to submit full papers in English
presenting original research. Submitted papers must be unpublished and
not submitted for publication elsewhere.

Papers must be submitted in either PDF format, or as PostScript
documents that are interpretable by Ghostscript. The submission page
will be open at http://www.jaist.ac.jp/aplas/submit/ before the
deadline. Those who have difficulty in web-based submission should
contact the program chair.

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.

  Asian Association for Foundations of Software (AAFS)
  Beihang University.