会議情報
APLAS 2021: Asian Symposium on Programming Languages and Systems
https://conf.researchr.org/home/aplas-2021
提出日:
2021-06-16
通知日:
2021-08-11
会議日:
2021-10-17
場所:
Chicago, Illinois, USA
年:
19
CCF: c   CORE: b   QUALIS: b1   閲覧: 17414   追跡: 16   出席: 2

論文募集
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.
最終更新 Dou Sun 2021-05-16
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
bb2SBAC-PADInternational Symposium on Computer Architecture and High Performance Computing2021-06-202021-08-132021-10-26
b5PAAPInternational Symposium on Parallel Architectures, Algorithms and Programming2021-09-302021-10-302021-12-10
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 Architecture2021-11-162022-03-022022-06-11
baa2MODELSInternational Conference on Model Driven Engineering Languages and Systems2021-05-14 2021-10-10
aa*a1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2021-11-192022-02-252022-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
おすすめ