Conference Information
APLAS 2020: Asian Symposium on Programming Languages and Systems
https://conf.researchr.org/home/aplas-2020
Submission Date:
Notification Date:
Conference Date:
2020-11-29
Location:
Fukuoka, Japan
Years:
18
CCF: c   CORE: b   QUALIS: b1   Viewed: 13512   Tracked: 16   Attend: 2

Conference Location
Call For Papers
We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. 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

Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions 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. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. 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.
Last updated by Dou Sun in 2020-03-30
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb2SBAC-PADInternational Symposium on Computer Architecture and High Performance Computing2020-06-282020-07-222020-09-08
b5PAAPInternational Symposium on Parallel Architectures, Algorithms and Programming2019-09-302019-10-252019-12-12
ICBATInternational Conference on Biotechnology and Agroforestry Technology2020-04-15 2020-04-17
ICINTInternational Conference on Information and Network Technologies2018-04-052018-04-202018-05-24
aa*a1ISCAInternational Symposium on Computer Architecture2019-11-192020-03-042020-05-30
baa2MODELSInternational Conference on Model Driven Engineering Languages and Systems2020-05-152020-07-132020-10-18
aa*a1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2019-11-222020-02-212020-06-15
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2020-07-09 2021-01-17
ICBDA'IEEE Conference on Big Data & Analytics2020-07-312020-08-312020-11-17
ICECCInternational Conference on Electronics, Communications and Control Engineering2018-01-102018-01-252018-03-06
Recommendation