APLAS 2020 : Asian Symposium on Programming Languages and Systems

  in Conferences   Posted on June 4, 2020

Conference Information

Submission Deadline Friday 26 Jun 2020 Proceedings indexed by :
Conference Dates Nov 29, 2020 - Dec 3, 2020
Conference Address Fukuoka, Japan
Conference & Submission Link https://conf.researchr.org/track/aplas-2020/aplas-2020-papers
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 1.81
#Contributing Top Scientists 10
#Papers published by Top Scientists 10
Google Scholar H5-index 12
Number of Editions: 18 (Since 2000)
Guide2Research Overall Ranking: 522
Category Rankings
Databases & Information Systems 93
Software Engineering & Programming 127
Proceedings https://link.springer.com/conference/aplas
DBLP Page https://dblp.uni-trier.de/db/conf/aplas

Conference Call for Papers

We solicit contributions in the forms of regular research papers, and tool papers. Among others, solicited topics include:

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
Applications of SAT/SMT to programming and implementation

We solicit submissions in the form of tool papers 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.

Other Conferences in Japan

IJCAI 2020 : International Joint Conference on Artificial Intelligence (IJCAI)

Deadline :
Fri 15 Jan 2021
Jan 1, 2021 - Jan 2, 2021 - Yokohama

NetSoft 2021 : IEEE Conference on Network Softwarization

Deadline :
Fri 15 Jan 2021
Jun 28, 2021 - Jul 2, 2021 - Tokyo

ICIET 2021 : 9th International Conference on Information and Education Technology

Deadline :
Wed 20 Jan 2021
Mar 27, 2021 - Mar 29, 2021 - Okayama

ICCCI 2021 : 3rd International Conference on Computer Communication and the Internet

Deadline :
Wed 20 Jan 2021
Jun 25, 2021 - Jun 27, 2021 - Nagoya

ICGSP 2021 : The 5th International Conference on Graphics and Signal Processing

Deadline :
Wed 20 Jan 2021
Jun 25, 2021 - Jun 27, 2021 - Nagoya