Conference Information
APLAS 2021: Asian Symposium on Programming Languages and Systems
Submission Date:
Notification Date:
Conference Date:
Chicago, Illinois, USA
CCF: c   CORE: b   QUALIS: b1   Viewed: 16910   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(LaTeX template), 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 2021-05-16
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb2SBAC-PADInternational Symposium on Computer Architecture and High Performance Computing2021-06-202021-08-132021-10-26
b5PAAPInternational Symposium on Parallel Architectures, Algorithms and Programming2020-11-102020-11-242020-12-28
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 Architecture2020-11-192021-03-042021-05-22
baa2MODELSInternational Conference on Model Driven Engineering Languages and Systems2021-05-14 2021-10-10
aa*a1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2020-11-202020-02-252021-06-20
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2021-07-082021-09-292022-01-16
ICBDA'IEEE Conference on Big Data & Analytics2020-07-312020-08-312020-11-17
ICECCInternational Conference on Electronics, Communications and Control Engineering2021-10-252021-11-202022-03-25