APLAS: Asian Symposium on Programming Languages and Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
APLAS 2016 14th Asian Symposium on Programming Languages and Systems
Nov 21, 2016 - Nov 23, 2016 Hanoi, Vietnam Jun 20, 2016 (Jun 16, 2016)
APLAS 2015 13th Asian Symposium on Programming Languages and Systems
Nov 30, 2015 - Dec 2, 2015 Pohang, Korea Jun 5, 2015
APLAS 2014 Asian Symposium on Programming Languages and Systems
Nov 17, 2014 - Nov 19, 2014 Singapore Jun 2, 2014 (May 26, 2014)
APLAS 2013 Asian Symposium on Programming Languages and Systems
Dec 9, 2013 - Dec 11, 2013 Melbourne, Australia Jun 14, 2013 (Jun 10, 2013)
APLAS 2011 Asian Symposium on Programming Languages and Systems
Dec 5, 2011 - Dec 7, 2011 Kenting, Taiwan Jun 17, 2011 (Jun 13, 2011)
APLAS 2010 Asian Symposium on Programming Languages and Systems
Nov 29, 2010 - Dec 1, 2010 Shanghai Jun 14, 2010 (Jun 7, 2010)
 
 

Present CFP : 2016

Call for Papers
Important Dates

(UPDATE 13/06/2016: Deadline extended)

Abstract deadline: June 16, 2016 (AoE)

Submission deadline: June 20, 2016 (AoE)

Author notification: August 15, 2016

Final version: August 31, 2016

Conference: November 21 – 23, 2016

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 demonstrations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission.

Submission

We solicit submissions in two categories:

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

b) System and tool demonstrations

– describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool’s strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo.

Papers should be submitted electronically via the submission web page (https://easychair.org/conferences/?conf=aplas2016) using EasyChair. Acceptable formats are 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.
 

Related Resources

SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
Programming 2017   The International Conference on the Art, Science, and Engineering of Programming
SLATE 2017   Symposium on Languages, Applications and Technologies
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
VPT 2017   Fifth International Workshop on Verification and Program Transformation
FoSSaCS 2017   20TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
Ada-Europe 2017   International Conference on Reliable Software Technologies
COSMIC 2017   International Workshop on Code Optimisation for Multi and many Cores
IJFCST 2016   International Journal in Foundations of Computer Science & Technology