[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.