Conference Information
APLAS 2017 : Asian Symposium on Programming Languages and Systems
Submission Date:
Notification Date:
Conference Date:
Suzhou, China
CCF: c   CORE: b   QUALIS: b1   Viewed: 7852   Tracked: 6   Attend: 1

Conference Location
Call For Papers
     APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community.

    APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Hanoi (’16), Pohang (’15), Singapore (’14), Melbourne (’13), Kyoto (’12), Kenting (’11), Shanghai (’10), Seoul (’09), Bangalore (’08), Singapore (’07), Sydney (’06), Tsukuba (’05), Taipei (’04) and Beijing (’03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. 


The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as

    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 

Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. 
Last updated by Dou Sun in 2017-04-22
Related Publications
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
b1SBCCIInternational Symposium on Integrated Circuits and Systems Design2015-03-222015-05-172015-08-31
CSCInternational Conference on Cloud and Service Computing2012-08-152012-09-102012-11-22
aa*a1ISCAInternational Symposium on Computer Architecture2017-11-142018-03-132018-06-02
bba2MODELSInternational Conference on Model Driven Engineering Languages and Systems2017-04-142017-07-032017-09-17
aa*a1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2017-11-162018-02-132018-06-18
aa*a1POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2017-07-072017-09-292018-01-08
ICM'International conference of information technology, computer engineering and management sciences2012-10-302012-11-052012-12-08
aa*a1OOPSLAObject-Oriented Programming Systems, Languages and Applications2015-03-25 2015-10-25
IH & MMSECACM Workshop on Information Hiding and Multimedia Security2018-01-27 2018-06-20
b3CompSysTechInternational Conference on Computer Systems and Technologies2015-04-142015-05-242015-06-26