APLAS aims at stimulating programming language and systems 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 three formal APLAS symposiums were successfully held in Tsukuba (2005, Japan), Taipei (2004, Taiwan), and Beijing (2003,China), after three informal workshops held in Shanghai (2002, China), Daejeon (2001, Korea),and Singapore (2000).
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:
Jens Palsberg | (UCLA, USA) |
Peter Stuckey | (University of Melbourne, Australia) |
|
Papers should be submitted electronically online via the submission webpage. Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat Reader. Submissions should not exceed 16 pages in LNCS format, including 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. Submitted papers must be unpublished and not submitted for publication elsewhere. The proceedings of the symposium will be published as a volume in Springer-Verlag's Lecture Notes in Computer Science series. Authors of accepted papers should provide all the electronic files of the final version of the papers according to the instruction provided at the LNCS home page.
Please submit your paper from the submission site.
Manuel Chakravarty | (University of New South Wales, Australia) |
Gabriele Keller | (University of New South Wales, Australia) |
Naoki Kobayashi | (Tohoku University, Japan) |
Kung Chen | (National Chengchi University, Taiwan) |
Wei-Ngan Chin | (National University of Singapore, Singapore) |
Patrick Cousot | (ENS, France) |
Masahito Hasegawa | (Kyoto University, Japan) |
Jifeng He | (United Nations University, Macau) |
Haruo Hosoya | (University of Tokyo, Japan) |
Bo Huang | (Intel China Software Center, China) |
Oege de Moor | (Oxford University, UK) |
George Necula | (University of California at Berkeley, USA) |
Martin Odersky | (EPFL, Switzerland) |
Tamiya Onodera | (IBM Tokyo Research Laboratory, Japan) |
Yunheung Paek | (Seoul National University, Korea) |
Sriram Rajamani | (Microsoft Research, India) |
Andrei Sabelfeld | (Chalmers University of Technology, Sweden) |
Zhong Shao | (Yale University, USA) |
Harald Søndergaard | (University of Melbourne, Australia) |
Nobuko Yoshida | (Imperial College London, UK) |