Welcome to APLAS 2017

November 27-29, 2017, Suzhou, China

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 languages 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 Hanoi (’16), 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.

New: This year there’ll be a Student Research Competition (SRC) associated with the Poster Session.

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.

Important Dates

• Abstract deadline: Tuesday, June 13, 2017 (firm)
• Paper deadline: Monday, June 19, 2017
• Author response: Wednesday-Friday, July 26-28, 2017
• Author notification: Monday, August 14, 2017
• Camera-ready deadline: Friday, September 1, 2017
• Conference: Monday-Wednesday, November 27-29, 2017

All deadline times are AoE.

Invited Speakers

• Gilles Barthe, IMDEA. Relational Verification of Higher-Order Probabilistic Programs.
• Ron Garcia, UBC. Gradual Enforcement of Program Invariants.
• Sumit Gulwani, Microsoft Research. Programming by Examples: PL meets ML.
• Naijun Zhan, Chinese Academy of Sciences. Synthesizing SystemC Code from Delay Hybrid CSP.

Sponsors

Hosted on GitHub Pages using the Dinky theme