Call for Papers (revised) The First Asian Symposium on Programming Languages and Systems (APLAS'03) http://www.jaist.ac.jp/aplas/ November 27-29, 2003 Beijing, China. (or Kanazawa, Japan or Nanjing, China. See below.) ---------------------------------------------------------------------- NOTICE ON THE SYMPOSIUM LOCATION AND NEW DATES 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 alternative. 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 ----------------------------------------------------------------------- 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 INVITED SPEAKERS * Thomas A. Henzinger (University of California at Berkeley, USA) * Simon Peyton Jones (Microsoft Research, UK) * Wen-tsun Wu (Academia Sinica, China) GENERAL CHAIR Wei Li National Laboratory of Software Development Environment Beihang University Beijing, 100083, China E-mail: liwei@nlsde.buaa.edu.cn PROGRAM CHAIR 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 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 (NOTE THE CHANGES) Submission deadline: June 20, 2003 Notification of acceptance: August 13, 2003 Final paper due: September 13, 2003 Symposium: November 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. 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. SPONSORS Asian Association for Foundations of Software (AAFS) Beihang University.