APLAS aims at stimulating programming languages and systems research by providing an international forum for the presentation of original results and the exchange of ideas and experience.
APLAS is based in Asia, but is 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 been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The first four formal APLAS symposiums were successfully held in Sydney (2006, Australia), 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). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, and 4279.
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:
Original results that bear on these and related topics are solicited. Papers investigating novel uses and applications of language systems are especially encouraged. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair (aplas2007@easychair.org) prior to submission.
Vincent Danos | (University of Paris VII & CNRS, France) |
Sriram Rajamani | (Microsoft Research, India) |
Vijay Saraswat | (IBM TJ Watson Research Lab, USA) |
|
Papers should be submitted electronically online via the submission web page at URL http://www.easychair.org/APLAS2007 (powered by EasyChair). 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.
Joxan Jaffar | (National University of Singapore, Singapore) |
Zhong Shao | (Yale University, USA) |
Lars Birkedal | (IT University of Copenhagen, Denmark) |
Martin Hofmann | (Univ of Munich, Germany) |
Kohei Honda | (Queen Mary, University of London, UK) |
Atsushi Igarashi | (Kyoto University, Japan) |
Suresh Jagannathan | (Purdue University, USA) |
Annie Liu | (State University of New York at Stony Brook, USA) |
Shin-Cheng Mu | (Academia Sinica, Taiwan) |
Henrik Nilsson | (University of Nottingham, UK) |
Michael Norrish | (NICTA, Australia) |
Jens Palsberg | (University of California, Los Angeles, USA) |
G. Ramalingam | (Microsoft Research, India) |
Zhendong Su | (University of California, Davis, USA) |
Martin Sulzmann | (National University of Singapore, Singapore) |
Eijiro Sumii | (Tohoku University, Japan) |
Jérôme Vouillon | (CNRS, France) |
Kwangkeun Yi | (Seoul National University, Korea) |
Jian Zhang | (Chinese Academy of Sciences, China) |
Wei-Ngan Chin | (National University of Singapore, Singapore) |
Eijiro Sumii | (Tohoku University, Japan) |
Last modified on October 14, 2007 by Zhong Shao, Dept. of Computer Science, Yale University |