APLAS 2015 - 13th Asian Symposium on Programming Languages and Systems

APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in 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. Past APLAS symposiums were successfully held in Singapore [Link, Link] (’14), Melbourne (’13), Kyoto (’12), Kenting (’11), Shanghai (’10), Seoul (’09), Bangalore (’08),Singapore (’07), Sydney (’06), Tsukuba (’05), Taipei (’04) and Beijing (’03) after three informal workshops.
Topics
The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as:
semantics, logics, foundational theory
design of languages, type systems and foundational calculi
domain-specific languages
compilers, interpreters, abstract machines
program derivation, synthesis and transformation
program analysis, verification, model-checking
logic, constraint, probabilistic and quantum programming
software security
concurrency and parallelism
tools and environments for programming and implementation
Topics are not limited to those 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.