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

Singapore

News

Nov 13: Participants can download the proceedings here until the end of the conference.
Oct 30: Venue changed to School of Computing, National University of Singapore.
Oct 15: Proceedings are available as Volume 8858 of Springer LNCS, and also online.
Sep 6: Posted Call for Participation.
Sep 3: Added Local Information site.
Sep 2: Added preliminary program.
Aug 15: Added Call for Posters.
Aug 4: Added accepted papers.
May 27: Extended deadline, June 3 10:59 UTC for abstracts and June 9 10:59 UTC for full papers.
May 26: Precise deadline is 23:59 UTC-11, or May 27, 10:59 UTC.
May 7: Posted last CFP. Submission deadline for abstract is May 26.
April 13: Added Invited Speakers.
March 18: Added Poster.

About

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.

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.

Invited Speakers

Zhenjiang Hu	NII, Japan
Dexter Kozen	Cornell University, USA
Julien Verlaguet	Facebook, 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 He	Tsinghua University, China
Gerwin Klein	NICTA 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 Rathke	University of Southampton, UK
Sukyoung Ryu	KAIST, Korea
Alexandra Silva	Radboud University Nijmegen, Netherlands
Martin Sulzmann	Karlsruhe University of Applied Sciences, Germany
Munehiro Takimoto	Tokyo University of Science, Japan
Jan Vitek	Purdue University, USA
Hongwei Xi	Boston University, USA

Submission

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)

Venue

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.