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)

G2R Score 1.81
#Contributing Top Scientists 10
#Papers published by Top Scientists 10
Google Scholar H5-index 5
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

ICIAE 2021 : The 9th IIAE International Conference on Industrial Application Engineering

Deadline :
Fri 27 Nov 2020
Mar 26, 2021 - Mar 30, 2021 - Kitakyushu
Japan

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

Deadline :
Tue 01 Dec 2020
Jan 1, 2021 - Jan 2, 2021 - Yokohama
Japan

NetSoft 2021 : IEEE Conference on Network Softwarization

Deadline :
Mon 14 Dec 2020
Jun 28, 2021 - Jul 2, 2021 - Tokyo
Japan

KSEM 2021 : Knowledge Science, Engineering and Management

Deadline :
Mon 15 Mar 2021
Aug 14, 2021 - Aug 16, 2021 - Tokyo
Japan