Introduction
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 Pohang (’15), Singapore(’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. Proceedings of the past symposiums were published in Springer’s LNCS.
Call for paper
Important date
Submission 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
All Comments
Important Date
-
Conference Date
Nov 21
2016
toNov 23
2016
-
Jun 20 2016
Draft paper submission deadline
-
Aug 15 2016
Draft Paper Acceptance Notification
-
Aug 31 2016
Final Paper Deadline
-
Nov 23 2016
Registration deadline
Contact Information
Submit Comment