News
- 11/24/2010: The programme is updated by adding the registration time. During the registration time we will have a registration table set up at Hengshan Hotel so that you may pick up your conference materials. You can also get these materials anytime during the conference.
- 11/23/2010: The APLAS2010 Brochure is avilable. [pdf1] [pdf2]
- 10/29/2010: Accepted posters
- 10/21/2010: Registration information is updated by adding creditcard payment method. The deadline of Early Registration is extended to Octorober 30.
- 10/19/2010: The reservation deadline of Jiangong Jinjiang Hotel has been postponed to November 7, 2010.
- 9/29/2010: The deadline of Poster submission has been extended to October 14, 2010.
- 9/21/2010: Preliminary programme is available.
- 9/13/2010: Registration information is added.
- 9/9/2010: Accepted papers
- 8/30/2010: Call for Poster Presentation deadline is on September 30, 2010.
- 8/30/2010: Local information is updated.
Overview
APLAS aims at stimulating programming language research by providing a forum for the presentation of latest results and the exchange of ideas in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community.
APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past APLAS symposiums were successfully held in Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops held in Shanghai ('02), Daejeon ('01) and Singapore ('00). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, 4279, 4807, 5356, and 5904.
Topics
The symposium is devoted to both foundational and practical issues in programming languages and systems. Papers are solicited on, but not limited to, the following topics:
- semantics, logics, foundational theory;
- design of languages and foundational calculi;
- type systems;
- compilers, interpreters, abstract machines;
- program derivation, analysis, transformation;
- software security, safety, verification;
- concurrency, constraints, domain-specific languages;
- tools for programming, verification, implementation.
APLAS 2010 is not limited to topics discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with Program Chair prior to submission.