About - Topics - Invited speakers - Dates - Venue - Inquiries - Call for Posters - Program

APLAS 2014

12th Asian Symposium on Programming Languages and Systems

November 17-19, 2014




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 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.


The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as 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.

Invited Speakers

Zhenjiang Hu NII, Japan
Dexter KozenCornell University, USA
Julien VerlaguetFacebook, USA

General chair

Wei-Ngan Chin National University of Singapore

Program chair

Jacques Garrigue Nagoya University

Program committee

Xiaojuan Cai Shanghai Jiao Tong University, China
James Chapman Institute of Cybernetics, Estonia
Cristian Gherghina Singapore University of Technology and Design
Eric Goubault CEA LIST and Ecole Polytechnique, France
Fei HeTsinghua University, China
Gerwin KleinNICTA and UNSW, Australia
Raghavan Komondoor Indian Institute of Science, Bangalore
Paddy Krishnan Oracle, Australia
Daan Leijen Microsoft Research, USA
Yasuhiko Minamide University of Tsukuba, Japan
Shin-Cheng Mu Academia Sinica, Taiwan
Sungwoo Park Pohang University of Science and Technology, Korea
Julian RathkeUniversity of Southampton, UK
Sukyoung RyuKAIST, Korea
Alexandra Silva Radboud University Nijmegen, Netherlands
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany
Munehiro Takimoto Tokyo University of Science, Japan
Jan VitekPurdue University, USA
Hongwei XiBoston University, USA


We solicit submissions in two categories:
Regular research papers
describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them.
System and tool presentations
describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web.
Papers should be submitted electronically via the
submission web page using EasyChair.

Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference.

Important dates

Submission deadline (abstract): June 2, 2014 (Monday) (extended)
Submission deadline (full paper): June 8, 2014 (Sunday) (extended)
Author notification: August 6, 2014 (Wednesday)
Camera-ready copy: September 1, 2014 (Monday)
Poster proposals: September 15, 2014 (Monday)
Conference: November 17-19, 2014 (Monday-Wednesday)


The conference will be held at the School of Computing, National University of Singapore. See the
local information site for details.

Inquiries to

aplas2014 at easychair.org

Last update: Nov 13, 2014.