[apologies if you receive this CFP multiple times] ------------------------------------------------------------------------------- CALL FOR PAPERS The Third Asian Symposium on Programming Languages and Systems (APLAS 2005) November 3-5, 2005 Tsukuba, Japan Submission deadline: 10 June, 2005 http://ropas.snu.ac.kr/aplas05 APLAS seeks original papers on all topics of programming languages and systems. APLAS aims at stimulating programming language research by providing an international forum for the presentation of original results and the exchange of ideas and experience. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The first two formal APLAS symposiums were successfully held in Taipei (2004, Taiwan) and Beijing (2003, China) after three informal workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000). TOPICS The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. Submissions are invited 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 for embedded and mobile codes PROGRAM APLAS technical program consists of paper presentations, invited talks, and a dedicated session for posters. During the poster session students and professionals can present their works-in-progress or very recent results and can get feedback from other colleagues. Before the symposium, all the poster authors are asked to read other posters' abstracts and give feedbacks beforehand. IMPORTANT DATES Paper Abstract & title: 28 May, 2005 Full paper submission: 10 Jun, 2005 Author notification: 05 Aug, 2005 Camera-ready copy: 26 Aug, 2005 Poster Abstract & title: 16 Sep, 2005 Feedback: 07 Oct, 2005 SUBMISSIONS INFORMATION - All submissions be submitted electronically online via the symposium web page http://ropas.snu.ac.kr/aplas05. Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat Reader. - Paper or poster abstract submissions should not exceed 300 words. - Paper submissions should not exceed 15 pages in LNCS format, excluding 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. - The work described should not have been previously published in a journal and conference proceedings. Authors must indicate if a closely related paper is also being considered for another conference or journal. - The proceedings of the symposium (papers and invited talks) will be published by Springer-Verlag's Lecture Notes in Computer Science series. GENERAL CHAIR Tetsu Ida (U. of Tsukuba, Japan) tetsuo.ida@acm.org PROGRAM CHAIR Kwangkeun Yi (Seoul National U., Korea) kwang@ropas.snu.ac.kr PROGRAM COMMITTEE Radhia Cousot (Ecole Polytechnique, France) Manuel Fahndrich (Microsoft Research, USA) Masami Hagiya (U. of Tokyo, Japan) Luddy Harrison (U. of Illinois at Urbana-Champaign, USA) Siau-Cheng Khoo (National U. of Singapore, Singapore) Naoki Kobayashi (Tohoku U., Japan) Oukseh Lee (Hanyang U., Korea) Peter Lee (Carnegie Mellon U., USA) Huimin Lin (Chinese Academy of Science, China) Soo-Mook Moon (Seoul National U., Korea) Alan Mycroft (U. of Cambridge, UK) Atsushi Ohori (Japan Advanced Inst. of Sci.& Tech., Japan) David Schmidt (Kansas State U., USA) Harald Sondergaard (U. of Melbourne, Australia) Martin Sulzmann (National U. of Singapore, Singapore) Wuu Yang (National Chiao-Tung U., Taiwan) Wang Yi (Uppsala U., Sweden) Kwangkeun Yi (chair) (Seoul National U., Korea) POSTER CHAIR Hongseok Yang (Seoul National U., Korea) LOCAL ARRANGEMENT Mircea Marin (U. of Tsukuba, Japan) -------------------------------------------------------------------------------